diff options
author | stefan <stefan@FreeBSD.org> | 2009-02-05 18:05:24 +0800 |
---|---|---|
committer | stefan <stefan@FreeBSD.org> | 2009-02-05 18:05:24 +0800 |
commit | 7bd9b923e00899d0c67b9b4301839db31e0991b6 (patch) | |
tree | 5d3dd2158615f80b916154d79459dee93a6fddd4 /www/mediawiki113 | |
parent | 1d5fae1feeb4b9bff3463bbdbdb4092cf28aa81a (diff) | |
download | freebsd-ports-gnome-7bd9b923e00899d0c67b9b4301839db31e0991b6.tar.gz freebsd-ports-gnome-7bd9b923e00899d0c67b9b4301839db31e0991b6.tar.zst freebsd-ports-gnome-7bd9b923e00899d0c67b9b4301839db31e0991b6.zip |
- Fix detection of diff3 by removing files/patch-index.php.
- Bump PORTREVISION.
PR: 130898
Submitted by: Morgan Wesström <freebsd-ports-bugs@pp.dyndns.biz>
Approved by: maintainer
Diffstat (limited to 'www/mediawiki113')
-rw-r--r-- | www/mediawiki113/Makefile | 1 | ||||
-rw-r--r-- | www/mediawiki113/files/patch-index.php | 11 |
2 files changed, 1 insertions, 11 deletions
diff --git a/www/mediawiki113/Makefile b/www/mediawiki113/Makefile index da05c2716724..07e96c5ca642 100644 --- a/www/mediawiki113/Makefile +++ b/www/mediawiki113/Makefile @@ -7,6 +7,7 @@ PORTNAME= mediawiki PORTVERSION= 1.13.3 +PORTREVISION= 1 CATEGORIES= www MASTER_SITES= http://download.wikimedia.org/mediawiki/1.13/ diff --git a/www/mediawiki113/files/patch-index.php b/www/mediawiki113/files/patch-index.php deleted file mode 100644 index b1d9e238d4d9..000000000000 --- a/www/mediawiki113/files/patch-index.php +++ /dev/null @@ -1,11 +0,0 @@ ---- config/index.php.orig Sat Oct 14 02:06:36 2006 -+++ config/index.php Sun Dec 3 16:18:18 2006 -@@ -434,7 +434,7 @@ - $diff3locations = array( "/usr/bin", "/usr/local/bin", "/opt/csw/bin", "/usr/gnu/bin", "/usr/sfw/bin" ) + explode( $sep, getenv( "PATH" ) ); - $diff3names = array( "gdiff3", "diff3", "diff3.exe" ); - --$diff3versioninfo = array( '$1 --version 2>&1', 'diff3 (GNU diffutils)' ); -+$diff3versioninfo = array('$1 --version 2>&1', 'diff3 - GNU diffutils'); - foreach ($diff3locations as $loc) { - $exe = locate_executable($loc, $diff3names, $diff3versioninfo); - if ($exe !== false) { |