summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD17
1 files changed, 10 insertions, 7 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 3b62f903e812..d3cee5778a6e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,18 +3,19 @@
# Contributor: Jakob Gahde <j5lx@fmail.co.uk>
pkgname=php-wikidiff2
-pkgver=1.13.0
-pkgrel=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})
-sha512sums=('0eed27723a8c9f14ddf82a2c990536783c914bb2daa8cfac4fd875839592c7c65376c90a422a3f5eef2e0b8b8bca1cbd658d124d5698342bcc2438d35d1f2ffb'
+sha512sums=('2c4e20197571b3c662967561e64cc1ef46ae6357e0323faa66fcfe8803b1a6f056b49e2721383bc9c1ab1cf0830627690f0cdf8c3be067b41a02a5563a3e6a0a'
'SKIP')
-validpgpkeys=('FA1E9F9A41E7F43502CA5D6352FC8E7BEDB7FCA2'
- '83936EF3764977485D3A50344354894545DA0139')
+validpgpkeys=(
+ 'F64EBF5F20996AB514F198A873F146FECF9D333C' # Tim Starling <tstarling@wikimedia.org>
+)
build() {
cd "wikidiff2-$pkgver"
@@ -29,7 +30,9 @@ package() {
cd "wikidiff2-$pkgver"
make install INSTALL_ROOT="$pkgdir"
- install -Dm0644 -t "$pkgdir/etc/php/conf.d" wikidiff2.ini
+
+ install -dm0755 "$pkgdir/etc/php/conf.d"
+ echo "extension=wikidiff2.so" > "$pkgdir/etc/php/conf.d/wikidiff2.ini"
install -Dm0644 -t "$pkgdir/usr/share/licenses/$pkgname" COPYING
}