diff options
author | nl6720 | 2022-07-07 09:50:17 +0300 |
---|---|---|
committer | nl6720 | 2022-07-07 09:50:17 +0300 |
commit | a3621fe5072ba42671f48bb6da1b0eff7d87ef2f (patch) | |
tree | 5a41529feec6a72ff545d70355e7b5e336a27a9c | |
parent | 7d75e88dd723aaad15be42459b7434eb9a13016b (diff) | |
download | aur-a3621fe5072ba42671f48bb6da1b0eff7d87ef2f.tar.gz |
mediawiki-extension-checkuser 1.38+r3337+gbf740015-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.38+r3333+g04741b9e + pkgver = 1.38+r3337+gbf740015 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=04741b9e030900a7256a3a56e80f8474942e7986 + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=bf7400152f92a5f407183a2a813165c81e92f75f sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-checkuser -pkgver=1.38+r3333+g04741b9e +pkgver=1.38+r3337+gbf740015 pkgrel=1 _mw='1.38' -_commit='04741b9e030900a7256a3a56e80f8474942e7986' # git rev-parse "REL${_mw/./_}" +_commit='bf7400152f92a5f407183a2a813165c81e92f75f' # 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' |