X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=redirect.php;h=eb15c6b96eb6e3fa07d9666d3f8666f3c1b574c2;hb=1304422e3ee88508abde188ef8fa9be91cad52ab;hp=f84d88217081a37ea591839b38e37054db98c591;hpb=6a87ccc06a40a5c0b127567340f205854e0a56f9;p=lhc%2Fweb%2Fwiklou.git

diff --git a/redirect.php b/redirect.php
index f84d882170..eb15c6b96e 100644
--- a/redirect.php
+++ b/redirect.php
@@ -1,18 +1,21 @@
 <?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
+ */
+if ( isset( $_SERVER['MW_COMPILED'] ) ) {
+	require ( 'phase3/includes/WebStart.php' );
+} else {
+	require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
+}
 
-require_once( "includes/WebRequest.php" );
-$wgRequest = new WebRequest();
+global $wgArticlePath;
 
-$page = $wgRequest->getVal( "wpDropdown" );
+$page = $wgRequest->getVal( 'wpDropdown' );
 
 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
 
-header( "Location: {$url}" );
-?>
+header( "Location: {$url}", true, 301 );