summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: 809f4a20e25e501842937c93d3d5026433b627c2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
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