diff options
author | nl6720 | 2020-09-26 20:42:17 +0300 |
---|---|---|
committer | nl6720 | 2020-09-26 20:42:17 +0300 |
commit | 184b68d04cbf58f848931f6d2f2630ebd6d9f53b (patch) | |
tree | 878b53d309f078926f6aa7b73807645b09b89cad | |
parent | a6820a467d99bff9160099a1a09449b131fe2adc (diff) | |
download | aur-184b68d04cbf58f848931f6d2f2630ebd6d9f53b.tar.gz |
mediawiki-extension-checkuser REL1_35+r2915+g12645d72-1
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 5 insertions, 5 deletions
@@ -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 @@ -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' |