diff options
-rw-r--r-- | .SRCINFO | 15 | ||||
-rw-r--r-- | PKGBUILD | 17 |
2 files changed, 17 insertions, 15 deletions
@@ -1,18 +1,17 @@ pkgbase = php-wikidiff2 pkgdesc = A PHP module that provides the external diff engine for MediaWiki - pkgver = 1.13.0 - pkgrel = 2 + pkgver = 1.14.1 + pkgrel = 1 url = https://www.mediawiki.org/wiki/Extension:Wikidiff2 arch = i686 arch = x86_64 - license = GPL + license = GPL-2.0-or-later depends = php depends = libthai - source = https://releases.wikimedia.org/wikidiff2/wikidiff2-1.13.0.tar.gz - source = https://releases.wikimedia.org/wikidiff2/wikidiff2-1.13.0.tar.gz.sig - validpgpkeys = FA1E9F9A41E7F43502CA5D6352FC8E7BEDB7FCA2 - validpgpkeys = 83936EF3764977485D3A50344354894545DA0139 - sha512sums = 0eed27723a8c9f14ddf82a2c990536783c914bb2daa8cfac4fd875839592c7c65376c90a422a3f5eef2e0b8b8bca1cbd658d124d5698342bcc2438d35d1f2ffb + source = https://releases.wikimedia.org/wikidiff2/wikidiff2-1.14.1.tar.gz + source = https://releases.wikimedia.org/wikidiff2/wikidiff2-1.14.1.tar.gz.sig + validpgpkeys = F64EBF5F20996AB514F198A873F146FECF9D333C + sha512sums = 2c4e20197571b3c662967561e64cc1ef46ae6357e0323faa66fcfe8803b1a6f056b49e2721383bc9c1ab1cf0830627690f0cdf8c3be067b41a02a5563a3e6a0a sha512sums = SKIP pkgname = php-wikidiff2 @@ -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 } |