diff options
author | nl6720 | 2022-01-13 08:25:13 +0200 |
---|---|---|
committer | nl6720 | 2022-01-13 08:25:13 +0200 |
commit | 6c83638c363f9336ea6b727a9687ef84e67df8f7 (patch) | |
tree | 970a60948124aeb78edbd1739c2f48def1bc1467 | |
parent | f61cba18fd15e340d790681acf7f7fdd73bc963a (diff) | |
download | aur-6c83638c363f9336ea6b727a9687ef84e67df8f7.tar.gz |
mediawiki-extension-checkuser 1.37+r3244+g610ba68c-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+r3243+g72187a62 + pkgver = 1.37+r3244+g610ba68c 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=72187a624d80cc57b22e83aab5e6823872a238d5 + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=610ba68c6ff30c52c072be95429f3ce21f16fe14 sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-checkuser -pkgver=1.37+r3243+g72187a62 +pkgver=1.37+r3244+g610ba68c pkgrel=1 _mw='1.37' -_commit='72187a624d80cc57b22e83aab5e6823872a238d5' # git rev-parse "REL${_mw/./_}" +_commit='610ba68c6ff30c52c072be95429f3ce21f16fe14' # 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' |