diff options
| author | nl6720 | 2020-01-02 14:15:12 +0200 |
|---|---|---|
| committer | nl6720 | 2020-01-02 14:22:15 +0200 |
| commit | 5ccf7bf6f1e39cd4486a1caa29d265d45189696e (patch) | |
| tree | 3c0ed79e89226170dee175830980d337d4058f78 | |
| parent | c688f1a3c25fded9f5cdb2a0c07ff46bef488b77 (diff) | |
| download | aur-5ccf7bf6f1e39cd4486a1caa29d265d45189696e.tar.gz | |
mediawiki-extension-checkuser REL1_34+r2460+g8c0ee631-1
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 8 |
2 files changed, 6 insertions, 6 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_33.r2412.g9fa17066 + pkgver = REL1_34+r2460+g8c0ee631 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=9fa17066de8fe603c20e76bdbb5ce849eb51d5d5 + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=8c0ee6313acc53da0f58184ec1823c8f6e2e0483 sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@gmail.com> pkgname=mediawiki-extension-checkuser -pkgver=REL1_33.r2412.g9fa17066 +pkgver=REL1_34+r2460+g8c0ee631 pkgrel=1 -_mw='REL1_33' -_commit='9fa17066de8fe603c20e76bdbb5ce849eb51d5d5' +_mw='REL1_34' +_commit='8c0ee6313acc53da0f58184ec1823c8f6e2e0483' 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' @@ -16,7 +16,7 @@ sha512sums=('SKIP') pkgver() { cd "${srcdir}/CheckUser" - printf '%s.r%s.g%s' "${_mw}" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" + printf '%s+r%s+g%s' "${_mw}" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" } package() { |