mediawiki-extension-checkuser 1.37+r3253+g5f1eb86e-1

2 files changed, 4 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 57d9f809ea44..d28d160a30de 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 = 1.37+r3252+g7b1eb4b6
+	pkgver = 1.37+r3253+g5f1eb86e
 	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=7b1eb4b682858c8e2cec3d9288ca04baff618484
+	source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=5f1eb86e09bf8ee7518ef693fb9736198c602ac1
 	sha512sums = SKIP
 
 pkgname = mediawiki-extension-checkuser
diff --git a/PKGBUILD b/PKGBUILD
index 1acbebf68dd5..207b80dbe386 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,10 +1,10 @@
 # Maintainer: nl6720 <nl6720@archlinux.org>
 
 pkgname=mediawiki-extension-checkuser
-pkgver=1.37+r3252+g7b1eb4b6
+pkgver=1.37+r3253+g5f1eb86e
 pkgrel=1
 _mw='1.37'
-_commit='7b1eb4b682858c8e2cec3d9288ca04baff618484' # git rev-parse "REL${_mw/./_}"
+_commit='5f1eb86e09bf8ee7518ef693fb9736198c602ac1' # 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'