diff options
author | Jakob Gahde | 2018-02-05 18:08:04 +0100 |
---|---|---|
committer | Jakob Gahde | 2018-02-05 18:08:04 +0100 |
commit | 9c4a550ae144d3551ddcd05c1de6b0670dbb5677 (patch) | |
tree | e3f46ee0bab0a3d71a78ece927f1308ba91b13c8 | |
parent | 2ab1c61a376a139a99d95ba9581adf9c3949142e (diff) | |
download | aur-9c4a550ae144d3551ddcd05c1de6b0670dbb5677.tar.gz |
php-wikidiff2 1.5.1-1: New version
-rw-r--r-- | .SRCINFO | 10 | ||||
-rw-r--r-- | PKGBUILD | 10 |
2 files changed, 10 insertions, 10 deletions
@@ -1,17 +1,17 @@ # Generated by mksrcinfo v8 -# Thu Mar 9 22:49:24 UTC 2017 +# Mon Feb 5 17:07:46 UTC 2018 pkgbase = php-wikidiff2 pkgdesc = A PHP module that provides the external diff engine for MediaWiki - pkgver = 1.4.1 - pkgrel = 2 + pkgver = 1.5.1 + pkgrel = 1 url = https://www.mediawiki.org/wiki/Extension:Wikidiff2 arch = i686 arch = x86_64 license = GPL depends = php depends = libthai - source = https://releases.wikimedia.org/wikidiff2/wikidiff2-1.4.1.tar.gz - md5sums = 2eba9ae0a8583de42a8f7010595a8eaa + source = https://releases.wikimedia.org/wikidiff2/wikidiff2-1.5.1.tar.gz + md5sums = 46e79c14099a24fe9fdffa6d6a4bd530 pkgname = php-wikidiff2 @@ -1,18 +1,18 @@ # Maintainer: Jakob Gahde <j5lx@fmail.co.uk> pkgname=php-wikidiff2 -pkgver=1.4.1 -pkgrel=2 +pkgver=1.5.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=('2eba9ae0a8583de42a8f7010595a8eaa') +md5sums=('46e79c14099a24fe9fdffa6d6a4bd530') build() { - cd "${srcdir}/wikidiff2" + cd "${srcdir}/mediawiki-${pkgname}-${pkgver}" phpize ./configure @@ -20,7 +20,7 @@ build() { } package() { - cd "${srcdir}/wikidiff2" + cd "${srcdir}/mediawiki-${pkgname}-${pkgver}" make install INSTALL_ROOT="${pkgdir}" } |