diff options
author | nl6720 | 2022-12-07 19:20:41 +0200 |
---|---|---|
committer | nl6720 | 2022-12-07 19:20:41 +0200 |
commit | ac912667a41601b8de2bdbb3a786d7ad9edccb72 (patch) | |
tree | 86079bd2088f30d9a44a112994ac600b901a07e6 | |
parent | 44d8ad3ac8844b2fd81e8ef5f83bcc86c2da7354 (diff) | |
download | aur-ac912667a41601b8de2bdbb3a786d7ad9edccb72.tar.gz |
mediawiki-extension-checkuser 1.39+r3632+gb0eb6475e-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.38+r3352+g7c7d88dd + pkgver = 1.39+r3632+gb0eb6475e 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=7c7d88dd93b8894ead352dac6cbda6af71ffddad + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=b0eb6475e19fbb6602a990e0575ac389bdd28c75 sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-checkuser -pkgver=1.38+r3352+g7c7d88dd +pkgver=1.39+r3632+gb0eb6475e pkgrel=1 -_mw='1.38' -_commit='7c7d88dd93b8894ead352dac6cbda6af71ffddad' # git rev-parse "REL${_mw/./_}" +_mw='1.39' +_commit='b0eb6475e19fbb6602a990e0575ac389bdd28c75' # 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' |