summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authornl67202020-01-02 21:22:49 +0200
committernl67202020-01-02 21:28:01 +0200
commit8d710cec87bbeff918669a00c9aa6342239a991b (patch)
treed3dd3f356c52dcc2004e07d2887cc8d6872ed1e2
downloadaur-mediawiki-extension-disableaccount.tar.gz
mediawiki-extension-disableaccount REL1_34+r376+g1e6f5ef-1
-rw-r--r--.SRCINFO13
-rw-r--r--PKGBUILD24
2 files changed, 37 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..809f4a20e25e
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,13 @@
+pkgbase = mediawiki-extension-disableaccount
+ pkgdesc = An extension for MediaWiki that allows administrators to disable individual users' wiki accounts
+ pkgver = REL1_34+r376+g1e6f5ef
+ pkgrel = 1
+ url = https://www.mediawiki.org/wiki/Extension:DisableAccount
+ arch = any
+ license = GPL
+ makedepends = git
+ source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/DisableAccount.git#commit=1e6f5efdac9aebc44505c37a067c651ca9dd2b8d
+ sha512sums = SKIP
+
+pkgname = mediawiki-extension-disableaccount
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..913cdc500035
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,24 @@
+# Maintainer: nl6720 <nl6720@gmail.com>
+
+pkgname=mediawiki-extension-disableaccount
+pkgver=REL1_34+r376+g1e6f5ef
+pkgrel=1
+_mw='REL1_34'
+_commit='1e6f5efdac9aebc44505c37a067c651ca9dd2b8d'
+pkgdesc="An extension for MediaWiki that allows administrators to disable individual users' wiki accounts"
+arch=('any')
+url='https://www.mediawiki.org/wiki/Extension:DisableAccount'
+license=('GPL')
+makedepends=('git')
+source=("git+https://gerrit.wikimedia.org/r/mediawiki/extensions/DisableAccount.git#commit=${_commit}")
+sha512sums=('SKIP')
+
+pkgver() {
+ cd "${srcdir}/DisableAccount"
+ 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}/DisableAccount" "${pkgdir}/usr/share/webapps/mediawiki/extensions/"
+}