diff options
author | nl6720 | 2021-11-28 17:52:52 +0200 |
---|---|---|
committer | nl6720 | 2021-11-28 17:52:52 +0200 |
commit | d9d9e245c5d3e1172ecc8cb184acd786c69465b3 (patch) | |
tree | 2a9f1ee3a4bf0d590ce01c5f5831f5dd1aade987 | |
parent | e0aa463e8352d164c4083f4afc0b5173d387fc99 (diff) | |
download | aur-d9d9e245c5d3e1172ecc8cb184acd786c69465b3.tar.gz |
mediawiki-extension-checkuser 1.37+r3238+g7b6c9067-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.36+r3175+ge7681df1 + pkgver = 1.37+r3238+g7b6c9067 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=e7681df16ba56e17a914ddc7f0c25cde11829b55 + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=7b6c9067cbb29010581203bea79bf801aab2dc86 sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-checkuser -pkgver=1.36+r3175+ge7681df1 +pkgver=1.37+r3238+g7b6c9067 pkgrel=1 -_mw='1.36' -_commit='e7681df16ba56e17a914ddc7f0c25cde11829b55' # git rev-parse "REL${_mw/./_}" +_mw='1.37' +_commit='7b6c9067cbb29010581203bea79bf801aab2dc86' # 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' |