Demon has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/56394


Change subject: Remove completely unused $wgRedirectScript
......................................................................

Remove completely unused $wgRedirectScript

Nothing links to this anymore from any skin. Leave the redirect.php
in place, since somebody's probably still linking to it.

Change-Id: Ia624d65fbb1c787293054e12162b1444ab7c1edc
---
M RELEASE-NOTES-1.21
M includes/DefaultSettings.php
M includes/Setup.php
3 files changed, 1 insertion(+), 9 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/94/56394/1

diff --git a/RELEASE-NOTES-1.21 b/RELEASE-NOTES-1.21
index ebedaf5..2327453 100644
--- a/RELEASE-NOTES-1.21
+++ b/RELEASE-NOTES-1.21
@@ -18,6 +18,7 @@
 * $wgBug34832TransitionalRollback has been removed.
 * (bug 29472) $wgUseDynamicDates has been removed and its functionality
   disabled.
+* $wgRedirectScript was removed. It was unused.
 
 === New features in 1.21 ===
 * (bug 38110) Schema changes (adding or dropping tables, indices and
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 26fe197..46d1a73 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -172,14 +172,6 @@
 $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.
  *
  * Defaults to "{$wgScriptPath}/load{$wgScriptExtension}".
diff --git a/includes/Setup.php b/includes/Setup.php
index a602b79..08ab143 100644
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -45,7 +45,6 @@
 
 // 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 ) {

-- 
To view, visit https://gerrit.wikimedia.org/r/56394
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ia624d65fbb1c787293054e12162b1444ab7c1edc
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Demon <ch...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to