blob: 4352f8cd5ad3603ba7a9c549e9593ba32b36ebb3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
pkgbase = mediawiki-extension-usermerge
pkgdesc = An extension for MediaWiki that allows to merge one Wiki user's account with another Wiki user's account
pkgver = 1.42+r1145+g481e9aa
pkgrel = 1
url = https://www.mediawiki.org/wiki/Extension:UserMerge
arch = any
license = GPL-2.0-or-later
makedepends = git
source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/UserMerge.git#commit=481e9aa2a96a896f6d864cf63eea1cda86d9ecc1
sha512sums = bd58dbbf42949edbf35cc3415179f13be4dbc50287da6a90b9cf6cadbb3846a46569301f2258a7658a2604db67537c9cb4a86dca8e8fe9765efdf7da19613e8d
pkgname = mediawiki-extension-usermerge
|