blob: d9248fa9a15ed915d13cedecdbf7add3a3d7b3a1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
# Maintainer: Felix Esch <felix_esch at alice dot de>
# Upstream name of extension:
_extname=UserMerge
# Variant valid as package name without suffix and prefix
_basepkgname=usermerge
pkgname=mediawiki-$_basepkgname-git
pkgver=r672.3033e6d
pkgrel=1
pkgdesc="An extension for merging and deleting users."
source=("git+https://gerrit.wikimedia.org/r/mediawiki/extensions/$_extname")
md5sums=("SKIP")
arch=("any")
url="https://www.mediawiki.org/wiki/Extension:$_extname"
license=("GPL")
depends=("mediawiki")
makedepends=("git")
provides=("mediawiki-$_basepkgname")
conflicts=("mediawiki-$_basepkgname")
pkgver() {
cd $_extname
printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}
package() {
# Target extension directory of MediaWiki:
_extdir="$pkgdir/usr/share/webapps/mediawiki/extensions"
mkdir -p "$_extdir"
mv $_extname "$_extdir/"
rm -r $_extdir/$_extname/.git
}
|