diff options
| author | clsung <clsung@FreeBSD.org> | 2006-07-02 01:37:54 +0800 |
|---|---|---|
| committer | clsung <clsung@FreeBSD.org> | 2006-07-02 01:37:54 +0800 |
| commit | 7cdbf28ea022afc000dc4f0dc4d9e16946c19df9 (patch) | |
| tree | c2753082e831d88d2247cb897eeb60b9a889ab62 /www/mediawiki15 | |
| parent | 8b865b46b8455412331a516c6803fd664e32e3f1 (diff) | |
| download | freebsd-ports-gnome-7cdbf28ea022afc000dc4f0dc4d9e16946c19df9.tar.gz freebsd-ports-gnome-7cdbf28ea022afc000dc4f0dc4d9e16946c19df9.tar.zst freebsd-ports-gnome-7cdbf28ea022afc000dc4f0dc4d9e16946c19df9.zip | |
- Update the MediaWiki 1.5 port to locate the diff3 util on
FreeBSD correctly.
- bump PORTREVISION
Thanks to Mikhail Teterin for this patch.
PR: ports/99684
Submitted by: maintainer (Gerrit Beine)
Diffstat (limited to 'www/mediawiki15')
| -rw-r--r-- | www/mediawiki15/Makefile | 1 | ||||
| -rw-r--r-- | www/mediawiki15/files/patch-index.php | 11 |
2 files changed, 12 insertions, 0 deletions
diff --git a/www/mediawiki15/Makefile b/www/mediawiki15/Makefile index e85572115aa1..2391c15af12e 100644 --- a/www/mediawiki15/Makefile +++ b/www/mediawiki15/Makefile @@ -7,6 +7,7 @@ PORTNAME= mediawiki PORTVERSION= 1.5.8 +PORTREVISION= 1 CATEGORIES= www MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= wikipedia diff --git a/www/mediawiki15/files/patch-index.php b/www/mediawiki15/files/patch-index.php new file mode 100644 index 000000000000..870879d1214d --- /dev/null +++ b/www/mediawiki15/files/patch-index.php @@ -0,0 +1,11 @@ +--- config/index.php.orig Thu Mar 2 03:55:15 2006 ++++ config/index.php Sat Jul 1 13:32:47 2006 +@@ -321,7 +321,7 @@ + $diff3locations = array("/usr/bin", "/opt/csw/bin", "/usr/gnu/bin", "/usr/sfw/bin") + explode(":", getenv("PATH")); + $diff3names = array("gdiff3", "diff3"); + +-$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) { |