summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authornl67202021-03-01 18:56:09 +0200
committernl67202021-03-01 18:56:09 +0200
commit22cd903a27412ec007e138fd74f03a212a6aa132 (patch)
treea5d2c84717e4c005a61a60b866fbad6edda239b6
parent882b9806ef5d77e4cae4807ba185a1ad6e03a090 (diff)
downloadaur-22cd903a27412ec007e138fd74f03a212a6aa132.tar.gz
mediawiki-extension-checkuser REL1_35+r2919+g580e85f7-1
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD4
2 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index be6a376303c2..a78ddb35ce90 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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_35+r2916+g256b70b4
+ pkgver = REL1_35+r2919+g580e85f7
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=256b70b47e0785919cf7ae115d95ce30f0b0fd45
+ source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=580e85f7c9375d7eaff5f9b0031e27bd257aab78
sha512sums = SKIP
pkgname = mediawiki-extension-checkuser
diff --git a/PKGBUILD b/PKGBUILD
index c22f6bab180b..b02e78b294a9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,10 +1,10 @@
# Maintainer: nl6720 <nl6720@archlinux.org>
pkgname=mediawiki-extension-checkuser
-pkgver=REL1_35+r2916+g256b70b4
+pkgver=REL1_35+r2919+g580e85f7
pkgrel=1
_mw='REL1_35'
-_commit='256b70b47e0785919cf7ae115d95ce30f0b0fd45'
+_commit='580e85f7c9375d7eaff5f9b0031e27bd257aab78'
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'