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 | |
download | aur-mediawiki-extension-disableaccount.tar.gz |
mediawiki-extension-disableaccount REL1_34+r376+g1e6f5ef-1
-rw-r--r-- | .SRCINFO | 13 | ||||
-rw-r--r-- | PKGBUILD | 24 |
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/" +} |