diff options
| author | nl6720 | 2022-05-27 12:06:23 +0300 |
|---|---|---|
| committer | nl6720 | 2022-05-27 12:06:23 +0300 |
| commit | 9f63a09c6e55104c4f392f8e0439111bd58e6dc2 (patch) | |
| tree | 522e6d40e832704b1a9495cccfb1b388f6da030c | |
| parent | 366d05691d1a2dd868af4094dfae9af43a6f161e (diff) | |
| download | aur-9f63a09c6e55104c4f392f8e0439111bd58e6dc2.tar.gz | |
mediawiki-extension-checkuser 1.37+r3264+g108ab042-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.37+r3263+gd3c2806b + pkgver = 1.37+r3264+g108ab042 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=d3c2806bc39b7ae0e02c69a97069ea4250d37ebb + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=108ab04296d16f536ce08acf0f1629f226ca821a sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-checkuser -pkgver=1.37+r3263+gd3c2806b +pkgver=1.37+r3264+g108ab042 pkgrel=1 _mw='1.37' -_commit='d3c2806bc39b7ae0e02c69a97069ea4250d37ebb' # git rev-parse "REL${_mw/./_}" +_commit='108ab04296d16f536ce08acf0f1629f226ca821a' # 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' |