summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD30
1 files changed, 20 insertions, 10 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 728d22d8f8f6..d3cee5778a6e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,28 +1,38 @@
-# Maintainer: Jakob Gahde <j5lx@fmail.co.uk>
+# Maintainer : KokaKiwi <kokakiwi+aur at kokakiwi dot net>
+# Contributor: Felix Golatofski <contact@xdfr.de>
+# Contributor: Jakob Gahde <j5lx@fmail.co.uk>
pkgname=php-wikidiff2
-pkgver=1.7.2
+pkgver=1.14.1
pkgrel=1
pkgdesc="A PHP module that provides the external diff engine for MediaWiki"
arch=('i686' 'x86_64')
-license=('GPL')
+license=('GPL-2.0-or-later')
url='https://www.mediawiki.org/wiki/Extension:Wikidiff2'
depends=('php' 'libthai')
-source=("https://releases.wikimedia.org/wikidiff2/wikidiff2-${pkgver}.tar.gz"{,.sig})
-validpgpkeys=('FA1E9F9A41E7F43502CA5D6352FC8E7BEDB7FCA2')
-sha512sums=('3abd31488b049a860a2b88ce16f525f5641bdbc94e264227d6c54b837cc3630cbd01c45ffd44ae715e3496c2d3b65eee2e54eba4631300beb9c0c6a14a6fdadf'
+source=("https://releases.wikimedia.org/wikidiff2/wikidiff2-$pkgver.tar.gz"{,.sig})
+sha512sums=('2c4e20197571b3c662967561e64cc1ef46ae6357e0323faa66fcfe8803b1a6f056b49e2721383bc9c1ab1cf0830627690f0cdf8c3be067b41a02a5563a3e6a0a'
'SKIP')
+validpgpkeys=(
+ 'F64EBF5F20996AB514F198A873F146FECF9D333C' # Tim Starling <tstarling@wikimedia.org>
+)
build() {
- cd "${srcdir}/wikidiff2-${pkgver}"
+ cd "wikidiff2-$pkgver"
phpize
- ./configure
+ ./configure --prefix=/usr
+
make
}
package() {
- cd "${srcdir}/wikidiff2-${pkgver}"
+ cd "wikidiff2-$pkgver"
+
+ make install INSTALL_ROOT="$pkgdir"
+
+ install -dm0755 "$pkgdir/etc/php/conf.d"
+ echo "extension=wikidiff2.so" > "$pkgdir/etc/php/conf.d/wikidiff2.ini"
- make install INSTALL_ROOT="${pkgdir}"
+ install -Dm0644 -t "$pkgdir/usr/share/licenses/$pkgname" COPYING
}