mediawiki-extension-checkuser REL1_33.r2412.g9fa17066-1

2 files changed, 38 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..2cfb05aec285
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,13 @@
+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_33.r2412.g9fa17066
+	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=9fa17066de8fe603c20e76bdbb5ce849eb51d5d5
+	sha512sums = SKIP
+
+pkgname = mediawiki-extension-checkuser
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..a5f8efb69718
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,25 @@
+# Maintainer: nl6720 <nl6720@gmail.com>
+
+pkgname=mediawiki-extension-checkuser
+pkgver=REL1_33.r2412.g9fa17066
+pkgrel=1
+_mw='REL1_33'
+_commit='9fa17066de8fe603c20e76bdbb5ce849eb51d5d5'
+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'
+
+license=('GPL')
+makedepends=('git')
+source=("git+https://gerrit.wikimedia.org/r/mediawiki/extensions/CheckUser.git#commit=${_commit}")
+sha512sums=('SKIP')
+
+pkgver() {
+	cd "${srcdir}/CheckUser"
+	printf '%s.r%s.g%s' "${_mw}" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
+}
+
+package() {
+	install -d -m755 "${pkgdir}/usr/share/webapps/mediawiki/extensions"
+	cp -r "${srcdir}/CheckUser" "${pkgdir}/usr/share/webapps/mediawiki/extensions/"
+}