Followup r73686: make private modules really private (i.e. Cache-Control: private...

[lhc/web/wiklou.git] / redirect.php

diff --git a/redirect.php b/redirect.php
index 2f50814..699926e 100644 (file)
--- a/redirect.php
+++ b/redirect.php
@@ -1,18 +1,17 @@
 <?php
-unset( $DP );
-unset( $IP );
-$wgCommandLineMode = false;
-define( "MEDIAWIKI", true );
 
-require_once( "./LocalSettings.php" );
-global $wgArticlePath;
+/**
+ * Script that redirects to the article passed in the "wpDropdown" parameter.
+ * This is used by the nostalgia skin for the special pages drop-down
+ *
+ * @file
+ */
 
-require_once( "includes/WebRequest.php" );
-$wgRequest = new WebRequest();
+require_once( './includes/WebStart.php' );
+global $wgArticlePath;
 
-$page = $wgRequest->getVal( "wpDropdown" );
+$page = $wgRequest->getVal( 'wpDropdown' );
 
-$url = str_replace( "$1", $page, $wgArticlePath );
+$url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
 
 header( "Location: {$url}" );
-?>