summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authornl67202022-12-07 19:20:41 +0200
committernl67202022-12-07 19:20:41 +0200
commitac912667a41601b8de2bdbb3a786d7ad9edccb72 (patch)
tree86079bd2088f30d9a44a112994ac600b901a07e6
parent44d8ad3ac8844b2fd81e8ef5f83bcc86c2da7354 (diff)
downloadaur-ac912667a41601b8de2bdbb3a786d7ad9edccb72.tar.gz
mediawiki-extension-checkuser 1.39+r3632+gb0eb6475e-1
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD6
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 060138a0c39b..7bea8bc60f7a 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.38+r3352+g7c7d88dd
+ pkgver = 1.39+r3632+gb0eb6475e
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=7c7d88dd93b8894ead352dac6cbda6af71ffddad
+ source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=b0eb6475e19fbb6602a990e0575ac389bdd28c75
sha512sums = SKIP
pkgname = mediawiki-extension-checkuser
diff --git a/PKGBUILD b/PKGBUILD
index a26dedce5e5a..f93511327fed 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,10 +1,10 @@
# Maintainer: nl6720 <nl6720@archlinux.org>
pkgname=mediawiki-extension-checkuser
-pkgver=1.38+r3352+g7c7d88dd
+pkgver=1.39+r3632+gb0eb6475e
pkgrel=1
-_mw='1.38'
-_commit='7c7d88dd93b8894ead352dac6cbda6af71ffddad' # git rev-parse "REL${_mw/./_}"
+_mw='1.39'
+_commit='b0eb6475e19fbb6602a990e0575ac389bdd28c75' # 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'