diff options
author | nl6720 | 2023-04-11 12:55:04 +0300 |
---|---|---|
committer | nl6720 | 2023-04-11 12:55:04 +0300 |
commit | 4f426edbbc4a7763c13d76d3de45819b88ac1731 (patch) | |
tree | 5c3678b66432fdf54f689590681781b643c0cade | |
parent | 7d0dbf261ff7e5c38dbca1b57cae711c3aa445f6 (diff) | |
download | aur-4f426edbbc4a7763c13d76d3de45819b88ac1731.tar.gz |
mediawiki-extension-checkuser 1.39+r3666+ga2bc3ea51-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 = 1.39+r3647+gf78613d0e + pkgver = 1.39+r3666+ga2bc3ea51 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=f78613d0e591146ca277902a55169f58db5d00d6 + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=a2bc3ea51a4b2c16268f5d9a55e90d8694edd5cf sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-checkuser -pkgver=1.39+r3647+gf78613d0e +pkgver=1.39+r3666+ga2bc3ea51 pkgrel=1 _mw='1.39' -_commit='f78613d0e591146ca277902a55169f58db5d00d6' # git rev-parse "REL${_mw/./_}" +_commit='a2bc3ea51a4b2c16268f5d9a55e90d8694edd5cf' # 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' |