diff options
| author | nl6720 | 2021-12-22 11:03:33 +0200 |
|---|---|---|
| committer | nl6720 | 2021-12-22 11:03:33 +0200 |
| commit | d7e75bdb24952cad4d7a3aa7f702176ec2ad4c2f (patch) | |
| tree | 300b155c64f299febc72709b9820cca9332b9d74 | |
| parent | edb997e25865f329dec634bb77b2d6e5f2b7ab8c (diff) | |
| download | aur-d7e75bdb24952cad4d7a3aa7f702176ec2ad4c2f.tar.gz | |
mediawiki-extension-checkuser 1.37+r3241+gdb83b3f6-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.37+r3240+gf2000227 + pkgver = 1.37+r3241+gdb83b3f6 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=f2000227d82c207b7c1b1deb69a3028345e9b511 + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=db83b3f63a39150d30f62aa104a437aaa1f4c147 sha512sums = SKIP pkgname = mediawiki-extension-checkuser @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-checkuser -pkgver=1.37+r3240+gf2000227 +pkgver=1.37+r3241+gdb83b3f6 pkgrel=1 _mw='1.37' -_commit='f2000227d82c207b7c1b1deb69a3028345e9b511' # git rev-parse "REL${_mw/./_}" +_commit='db83b3f63a39150d30f62aa104a437aaa1f4c147' # 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' |