diff options
author | nl6720 | 2020-03-27 17:43:58 +0200 |
---|---|---|
committer | nl6720 | 2020-03-27 17:43:58 +0200 |
commit | cec1adb7a316a78681d03319c5d1395c1cc20289 (patch) | |
tree | 967bd68e748aa43bd66ccc9c6ba0a2ed31cbffbd | |
parent | 5ccf7bf6f1e39cd4486a1caa29d265d45189696e (diff) | |
download | aur-cec1adb7a316a78681d03319c5d1395c1cc20289.tar.gz |
mediawiki-extension-checkuser REL1_34+r2461+gf441e4ee-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 = REL1_34+r2460+g8c0ee631 + pkgver = REL1_34+r2461+gf441e4ee 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=8c0ee6313acc53da0f58184ec1823c8f6e2e0483 + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=f441e4ee43ffba69edceaf2ea3dc88e9e4253bc1 sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@gmail.com> pkgname=mediawiki-extension-checkuser -pkgver=REL1_34+r2460+g8c0ee631 +pkgver=REL1_34+r2461+gf441e4ee pkgrel=1 _mw='REL1_34' -_commit='8c0ee6313acc53da0f58184ec1823c8f6e2e0483' +_commit='f441e4ee43ffba69edceaf2ea3dc88e9e4253bc1' 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' |