diff options
author | nl6720 | 2021-05-13 12:28:21 +0300 |
---|---|---|
committer | nl6720 | 2021-05-13 12:28:21 +0300 |
commit | e111e597cf44441f1cf530069fca34e29cc4caa8 (patch) | |
tree | 761716d0ef0af1d0c5e24c73de3004bb0ce3d748 | |
parent | 22cd903a27412ec007e138fd74f03a212a6aa132 (diff) | |
download | aur-e111e597cf44441f1cf530069fca34e29cc4caa8.tar.gz |
mediawiki-extension-checkuser REL1_35+r2920+g528b9591-1
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 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_35+r2919+g580e85f7 + pkgver = REL1_35+r2920+g528b9591 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=580e85f7c9375d7eaff5f9b0031e27bd257aab78 + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=528b9591c0e1ec4b5d73c851aa3358a26ec3ebf7 sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-checkuser -pkgver=REL1_35+r2919+g580e85f7 +pkgver=REL1_35+r2920+g528b9591 pkgrel=1 _mw='REL1_35' -_commit='580e85f7c9375d7eaff5f9b0031e27bd257aab78' +_commit='528b9591c0e1ec4b5d73c851aa3358a26ec3ebf7' 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' |