diff options
author | nl6720 | 2021-08-12 20:48:17 +0300 |
---|---|---|
committer | nl6720 | 2021-08-12 20:48:17 +0300 |
commit | 41605d5b2096bc0a0a7cea36623d0e351ff44585 (patch) | |
tree | c9356f8abf64004cec6dd45d9008991ac596b960 | |
parent | 16c0fbbce31fbfaa9925c0b5200ce31b23f2bd3b (diff) | |
download | aur-41605d5b2096bc0a0a7cea36623d0e351ff44585.tar.gz |
mediawiki-extension-checkuser 1.36+r3172+gc0771c4e-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 = REL1_36+r3171+g3505188a + pkgver = 1.36+r3172+gc0771c4e 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=3505188ace448632aae7a53565f8efb072fd7564 + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=c0771c4e863d0896efd4c5b7ce4f20b8586dd232 sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-checkuser -pkgver=REL1_36+r3171+g3505188a +pkgver=1.36+r3172+gc0771c4e pkgrel=1 -_mw='REL1_36' -_commit='3505188ace448632aae7a53565f8efb072fd7564' +_mw='1.36' +_commit='c0771c4e863d0896efd4c5b7ce4f20b8586dd232' # 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' |