summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--www/mediawiki/Makefile1
-rw-r--r--www/mediawiki/files/patch-index.php11
-rw-r--r--www/mediawiki113/Makefile1
-rw-r--r--www/mediawiki113/files/patch-index.php11
-rw-r--r--www/mediawiki114/Makefile1
-rw-r--r--www/mediawiki114/files/patch-index.php11
-rw-r--r--www/mediawiki115/Makefile1
-rw-r--r--www/mediawiki115/files/patch-index.php11
-rw-r--r--www/mediawiki116/Makefile1
-rw-r--r--www/mediawiki116/files/patch-index.php11
-rw-r--r--www/mediawiki118/Makefile1
-rw-r--r--www/mediawiki118/files/patch-index.php11
12 files changed, 6 insertions, 66 deletions
diff --git a/www/mediawiki/Makefile b/www/mediawiki/Makefile
index da05c2716724..07e96c5ca642 100644
--- a/www/mediawiki/Makefile
+++ b/www/mediawiki/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/mediawiki/files/patch-index.php b/www/mediawiki/files/patch-index.php
deleted file mode 100644
index b1d9e238d4d9..000000000000
--- a/www/mediawiki/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) {
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) {
diff --git a/www/mediawiki114/Makefile b/www/mediawiki114/Makefile
index da05c2716724..07e96c5ca642 100644
--- a/www/mediawiki114/Makefile
+++ b/www/mediawiki114/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/mediawiki114/files/patch-index.php b/www/mediawiki114/files/patch-index.php
deleted file mode 100644
index b1d9e238d4d9..000000000000
--- a/www/mediawiki114/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) {
diff --git a/www/mediawiki115/Makefile b/www/mediawiki115/Makefile
index da05c2716724..07e96c5ca642 100644
--- a/www/mediawiki115/Makefile
+++ b/www/mediawiki115/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/mediawiki115/files/patch-index.php b/www/mediawiki115/files/patch-index.php
deleted file mode 100644
index b1d9e238d4d9..000000000000
--- a/www/mediawiki115/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) {
diff --git a/www/mediawiki116/Makefile b/www/mediawiki116/Makefile
index da05c2716724..07e96c5ca642 100644
--- a/www/mediawiki116/Makefile
+++ b/www/mediawiki116/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/mediawiki116/files/patch-index.php b/www/mediawiki116/files/patch-index.php
deleted file mode 100644
index b1d9e238d4d9..000000000000
--- a/www/mediawiki116/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) {
diff --git a/www/mediawiki118/Makefile b/www/mediawiki118/Makefile
index da05c2716724..07e96c5ca642 100644
--- a/www/mediawiki118/Makefile
+++ b/www/mediawiki118/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/mediawiki118/files/patch-index.php b/www/mediawiki118/files/patch-index.php
deleted file mode 100644
index b1d9e238d4d9..000000000000
--- a/www/mediawiki118/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) {
generated by cgit v1.2.3 (git 2.25.1) at 2025-10-11 16:12:48 +0000