diff options
author | nl6720 | 2022-06-05 18:39:48 +0300 |
---|---|---|
committer | nl6720 | 2022-06-05 18:39:48 +0300 |
commit | 74de037e0129f889a2c258c2777df6221e13913a (patch) | |
tree | a6455377a2b97f57e70568f17f4b60bbe6de9eb1 | |
parent | 1344b8da906d5cb390f6c4af1564b55ea7afa4c8 (diff) | |
download | aur-74de037e0129f889a2c258c2777df6221e13913a.tar.gz |
mediawiki-extension-checkuser 1.38+r3332+g5ea68397-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.37+r3265+ge90bee41 + pkgver = 1.38+r3332+g5ea68397 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=e90bee41be6b9a06cb18e00379ddb55b177c6580 + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=5ea68397bcdae65479f70d94d6ad1d1029ae990a sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-checkuser -pkgver=1.37+r3265+ge90bee41 +pkgver=1.38+r3332+g5ea68397 pkgrel=1 -_mw='1.37' -_commit='e90bee41be6b9a06cb18e00379ddb55b177c6580' # git rev-parse "REL${_mw/./_}" +_mw='1.38' +_commit='5ea68397bcdae65479f70d94d6ad1d1029ae990a' # 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' |