summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorJakob Gahde2018-06-27 20:08:28 +0200
committerJakob Gahde2018-06-27 20:08:28 +0200
commit37dcebda20972ad25353904ae92e6e2db80e317f (patch)
tree39e4e85a952767f86781d954fd016dc47eb7b557 /PKGBUILD
parent9c4a550ae144d3551ddcd05c1de6b0670dbb5677 (diff)
downloadaur-37dcebda20972ad25353904ae92e6e2db80e317f.tar.gz
php-wikidiff2 1.7.1-1: New version
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD12
1 files changed, 7 insertions, 5 deletions
diff --git a/PKGBUILD b/PKGBUILD
index f39a2ca221b9..d1aa3f00813f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,18 +1,20 @@
# Maintainer: Jakob Gahde <j5lx@fmail.co.uk>
pkgname=php-wikidiff2
-pkgver=1.5.1
+pkgver=1.7.1
pkgrel=1
pkgdesc="A PHP module that provides the external diff engine for MediaWiki"
arch=('i686' 'x86_64')
license=('GPL')
url='https://www.mediawiki.org/wiki/Extension:Wikidiff2'
depends=('php' 'libthai')
-source=("https://releases.wikimedia.org/wikidiff2/wikidiff2-${pkgver}.tar.gz")
-md5sums=('46e79c14099a24fe9fdffa6d6a4bd530')
+source=("https://releases.wikimedia.org/wikidiff2/wikidiff2-${pkgver}.tar.gz"{,.sig})
+validpgpkeys=('FA1E9F9A41E7F43502CA5D6352FC8E7BEDB7FCA2')
+md5sums=('a59df77c591d6e1c7d012680a4587b7b'
+ 'SKIP')
build() {
- cd "${srcdir}/mediawiki-${pkgname}-${pkgver}"
+ cd "${srcdir}/wikidiff2-${pkgver}"
phpize
./configure
@@ -20,7 +22,7 @@ build() {
}
package() {
- cd "${srcdir}/mediawiki-${pkgname}-${pkgver}"
+ cd "${srcdir}/wikidiff2-${pkgver}"
make install INSTALL_ROOT="${pkgdir}"
}