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 /.SRCINFO | |
| download | aur-8d710cec87bbeff918669a00c9aa6342239a991b.tar.gz | |
mediawiki-extension-disableaccount REL1_34+r376+g1e6f5ef-1
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 13 |
1 files changed, 13 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 + |