summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authornl67202021-01-01 14:17:36 +0200
committernl67202021-01-01 14:17:36 +0200
commit882b9806ef5d77e4cae4807ba185a1ad6e03a090 (patch)
treef711e20b76006213b127282442585509b4682660
parent184b68d04cbf58f848931f6d2f2630ebd6d9f53b (diff)
downloadaur-882b9806ef5d77e4cae4807ba185a1ad6e03a090.tar.gz
mediawiki-extension-checkuser REL1_35+r2916+g256b70b4-1
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD4
2 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 8e05b701668f..be6a376303c2 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,12 +1,12 @@
pkgbase = mediawiki-extension-checkuser
pkgdesc = An extension for MediaWiki that allows a user to check which IPs are used by a given username and which usernames are used by a given IP
- pkgver = REL1_35+r2915+g12645d72
+ pkgver = REL1_35+r2916+g256b70b4
pkgrel = 1
url = https://www.mediawiki.org/wiki/Extension:CheckUser
arch = any
license = GPL
makedepends = git
- source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=12645d724c28a3bca61c5e00981d3f77bedcaf93
+ source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=256b70b47e0785919cf7ae115d95ce30f0b0fd45
sha512sums = SKIP
pkgname = mediawiki-extension-checkuser
diff --git a/PKGBUILD b/PKGBUILD
index ede5d5693dc0..c22f6bab180b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,10 +1,10 @@
# Maintainer: nl6720 <nl6720@archlinux.org>
pkgname=mediawiki-extension-checkuser
-pkgver=REL1_35+r2915+g12645d72
+pkgver=REL1_35+r2916+g256b70b4
pkgrel=1
_mw='REL1_35'
-_commit='12645d724c28a3bca61c5e00981d3f77bedcaf93'
+_commit='256b70b47e0785919cf7ae115d95ce30f0b0fd45'
pkgdesc='An extension for MediaWiki that allows a user to check which IPs are used by a given username and which usernames are used by a given IP'
arch=('any')
url='https://www.mediawiki.org/wiki/Extension:CheckUser'