summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authornl67202023-01-14 09:25:12 +0200
committernl67202023-01-14 09:25:12 +0200
commit7d0dbf261ff7e5c38dbca1b57cae711c3aa445f6 (patch)
tree767687788f5169b3b7a242e4dd0f4c1e2dd5f108
parentac912667a41601b8de2bdbb3a786d7ad9edccb72 (diff)
downloadaur-7d0dbf261ff7e5c38dbca1b57cae711c3aa445f6.tar.gz
mediawiki-extension-checkuser 1.39+r3647+gf78613d0e-1
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD4
2 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 7bea8bc60f7a..af2e59260c33 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.39+r3632+gb0eb6475e
+ pkgver = 1.39+r3647+gf78613d0e
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=b0eb6475e19fbb6602a990e0575ac389bdd28c75
+ source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=f78613d0e591146ca277902a55169f58db5d00d6
sha512sums = SKIP
pkgname = mediawiki-extension-checkuser
diff --git a/PKGBUILD b/PKGBUILD
index f93511327fed..06853f795d69 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,10 +1,10 @@
# Maintainer: nl6720 <nl6720@archlinux.org>
pkgname=mediawiki-extension-checkuser
-pkgver=1.39+r3632+gb0eb6475e
+pkgver=1.39+r3647+gf78613d0e
pkgrel=1
_mw='1.39'
-_commit='b0eb6475e19fbb6602a990e0575ac389bdd28c75' # git rev-parse "REL${_mw/./_}"
+_commit='f78613d0e591146ca277902a55169f58db5d00d6' # 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'