diff options
author | nl6720 | 2024-03-13 17:08:41 +0200 |
---|---|---|
committer | nl6720 | 2024-03-13 17:08:41 +0200 |
commit | 7eb828c7323283bbb85af12a4e6ef4b65ca5cc26 (patch) | |
tree | 24c4a8819a6eae2ff2785bcea4f5e7492ed5a2f4 | |
parent | 5ce5d85a5c1f2550d0486b4a4f3f9f2625be00f8 (diff) | |
download | aur-7eb828c7323283bbb85af12a4e6ef4b65ca5cc26.tar.gz |
mediawiki-extension-checkuser 1.41+r4404+g6a8da06-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 = 1.40+r3970+g4d861d9 + pkgver = 1.41+r4404+g6a8da06 pkgrel = 1 url = https://www.mediawiki.org/wiki/Extension:CheckUser arch = any license = GPL-2.0-or-later makedepends = git - source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=4d861d9cd1f926553b530d8d9063f3d23107dbab + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=6a8da06c951444efda160affb5813c8bab57de52 sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-checkuser -pkgver=1.40+r3970+g4d861d9 +pkgver=1.41+r4404+g6a8da06 pkgrel=1 -_mw='1.40' -_commit='4d861d9cd1f926553b530d8d9063f3d23107dbab' # git rev-parse "REL${_mw/./_}" +_mw='1.41' +_commit='6a8da06c951444efda160affb5813c8bab57de52' # git rev-parse "REL${_mw/./_}" 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' |