From: Chad Horohoe Date: Thu, 28 Mar 2013 13:54:50 +0000 (-0400) Subject: Remove completely unused $wgRedirectScript/redirect.php X-Git-Tag: 1.31.0-rc.0~20151^2 X-Git-Url: http://git.cyclocoop.org/fichier?a=commitdiff_plain;h=f9e54577af112ef3314bef0431c0ab543424e6a8;p=lhc%2Fweb%2Fwiklou.git Remove completely unused $wgRedirectScript/redirect.php Change-Id: Ia624d65fbb1c787293054e12162b1444ab7c1edc --- diff --git a/RELEASE-NOTES-1.22 b/RELEASE-NOTES-1.22 index fd6c5c9cc7..beecf18414 100644 --- a/RELEASE-NOTES-1.22 +++ b/RELEASE-NOTES-1.22 @@ -9,6 +9,7 @@ MediaWiki 1.22 is an alpha-quality branch and is not recommended for use in production. === Configuration changes in 1.22 === +* $wgRedirectScript was removed. It was unused. === New features in 1.22 === @@ -23,7 +24,7 @@ regularly. Below only new and removed languages are listed, as well as changes to languages because of Bugzilla reports. === Other changes in 1.22 === - +* redirect.php was removed. It was unused. == Compatibility == diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index de874a6e1d..8a5a222de6 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -171,14 +171,6 @@ $wgScriptExtension = '.php'; */ $wgScript = false; -/** - * The URL path to redirect.php. This is a script that is used by the Nostalgia - * skin. - * - * Defaults to "{$wgScriptPath}/redirect{$wgScriptExtension}". - */ -$wgRedirectScript = false; - /** * The URL path to load.php. * diff --git a/includes/Setup.php b/includes/Setup.php index a602b79423..08ab14373e 100644 --- a/includes/Setup.php +++ b/includes/Setup.php @@ -45,7 +45,6 @@ if ( !isset( $wgVersion ) ) { // Set various default paths sensibly... if ( $wgScript === false ) $wgScript = "$wgScriptPath/index$wgScriptExtension"; -if ( $wgRedirectScript === false ) $wgRedirectScript = "$wgScriptPath/redirect$wgScriptExtension"; if ( $wgLoadScript === false ) $wgLoadScript = "$wgScriptPath/load$wgScriptExtension"; if ( $wgArticlePath === false ) { diff --git a/redirect.php b/redirect.php deleted file mode 100644 index 5e6cfeed68..0000000000 --- a/redirect.php +++ /dev/null @@ -1,36 +0,0 @@ -getVal( 'wpDropdown' ); - -$url = str_replace( "$1", urlencode( $page ), $wgArticlePath ); - -header( "Location: {$url}", true, 301 ); diff --git a/redirect.php5 b/redirect.php5 deleted file mode 100644 index b65f69aab4..0000000000 --- a/redirect.php5 +++ /dev/null @@ -1,24 +0,0 @@ -