blob: 3d61dbb8ade4f16679c531b1cf6907d89ab04922 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
pkgbase = mediawiki-usermerge-git
pkgdesc = An extension for merging and deleting users.
pkgver = r672.3033e6d
pkgrel = 1
url = https://www.mediawiki.org/wiki/Extension:UserMerge
arch = any
license = GPL
makedepends = git
depends = mediawiki
provides = mediawiki-usermerge
conflicts = mediawiki-usermerge
source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/UserMerge
md5sums = SKIP
pkgname = mediawiki-usermerge-git
|