diff options
author | nl6720 | 2021-10-11 18:56:29 +0300 |
---|---|---|
committer | nl6720 | 2021-10-11 18:56:29 +0300 |
commit | 10e03370b1ce42503c3fe0c7654b5dd7ac0c8563 (patch) | |
tree | 2f83da81371083fbc21f0d4506fca91b94447321 | |
parent | 6108fe5f88d8088e6b97a0e6fc482e92cfd8d306 (diff) | |
download | aur-10e03370b1ce42503c3fe0c7654b5dd7ac0c8563.tar.gz |
mediawiki-extension-checkuser 1.36+r3174+gd8e983ca-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.36+r3173+g371de186 + pkgver = 1.36+r3174+gd8e983ca 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=371de1861a5150f95cc9b212f34ce2fd228cf3eb + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=d8e983ca5e5672661d2d89ddbde1eedb71ccd66e sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-checkuser -pkgver=1.36+r3173+g371de186 +pkgver=1.36+r3174+gd8e983ca pkgrel=1 _mw='1.36' -_commit='371de1861a5150f95cc9b212f34ce2fd228cf3eb' # git rev-parse "REL${_mw/./_}" +_commit='d8e983ca5e5672661d2d89ddbde1eedb71ccd66e' # 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' |