Make a loop to keep them really deleted.
[lhc/web/wiklou.git] / redirect.php
index 11d3c10..699926e 100644 (file)
@@ -1,6 +1,17 @@
 <?php
-include_once( "./LocalSettings.php" );
-global $wpDropdown, $wgArticlePath;
-$url = str_replace( "$1", $wpDropdown, $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/WebStart.php' );
+global $wgArticlePath;
+
+$page = $wgRequest->getVal( 'wpDropdown' );
+
+$url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
+
 header( "Location: {$url}" );
-?>