diff options
author | nl6720 | 2020-01-02 21:22:49 +0200 |
---|---|---|
committer | nl6720 | 2020-01-02 21:28:01 +0200 |
commit | 8d710cec87bbeff918669a00c9aa6342239a991b (patch) | |
tree | d3dd3f356c52dcc2004e07d2887cc8d6872ed1e2 /PKGBUILD | |
download | aur-mediawiki-extension-disableaccount.tar.gz |
mediawiki-extension-disableaccount REL1_34+r376+g1e6f5ef-1
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 24 |
1 files changed, 24 insertions, 0 deletions
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/" +} |