summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authornl67202020-03-27 17:43:58 +0200
committernl67202020-03-27 17:43:58 +0200
commitcec1adb7a316a78681d03319c5d1395c1cc20289 (patch)
tree967bd68e748aa43bd66ccc9c6ba0a2ed31cbffbd
parent5ccf7bf6f1e39cd4486a1caa29d265d45189696e (diff)
downloadaur-cec1adb7a316a78681d03319c5d1395c1cc20289.tar.gz
mediawiki-extension-checkuser REL1_34+r2461+gf441e4ee-1
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD4
2 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 74afa7f2d115..fc97b93acb71 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_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
diff --git a/PKGBUILD b/PKGBUILD
index 6802c149dcef..4497125a6827 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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'