summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authornl67202020-09-26 20:42:17 +0300
committernl67202020-09-26 20:42:17 +0300
commit184b68d04cbf58f848931f6d2f2630ebd6d9f53b (patch)
tree878b53d309f078926f6aa7b73807645b09b89cad
parenta6820a467d99bff9160099a1a09449b131fe2adc (diff)
downloadaur-184b68d04cbf58f848931f6d2f2630ebd6d9f53b.tar.gz
mediawiki-extension-checkuser REL1_35+r2915+g12645d72-1
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD6
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 63672bf87377..8e05b701668f 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_34+r2464+g8f9478d9
+ pkgver = REL1_35+r2915+g12645d72
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=8f9478d9b9de3e53601128bde9e7d5bed51652ac
+ source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=12645d724c28a3bca61c5e00981d3f77bedcaf93
sha512sums = SKIP
pkgname = mediawiki-extension-checkuser
diff --git a/PKGBUILD b/PKGBUILD
index 73ecab2485b8..ede5d5693dc0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,10 +1,10 @@
# Maintainer: nl6720 <nl6720@archlinux.org>
pkgname=mediawiki-extension-checkuser
-pkgver=REL1_34+r2464+g8f9478d9
+pkgver=REL1_35+r2915+g12645d72
pkgrel=1
-_mw='REL1_34'
-_commit='8f9478d9b9de3e53601128bde9e7d5bed51652ac'
+_mw='REL1_35'
+_commit='12645d724c28a3bca61c5e00981d3f77bedcaf93'
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'