X-Git-Url: https://scripts.mit.edu/gitweb/autoinstallsdev/mediawiki.git/blobdiff_plain/c33ba33ef28344d64266b8b588460a301750fad5..refs/tags/mediawiki-1.16.2-scripts:/redirect.php

diff --git a/redirect.php b/redirect.php
index ad3400ef..699926ec 100644
--- a/redirect.php
+++ b/redirect.php
@@ -1,13 +1,17 @@
 <?php
+
+/**
+ * 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;
 
-require_once( 'includes/WebRequest.php' );
-$wgRequest = new WebRequest();
-
 $page = $wgRequest->getVal( 'wpDropdown' );
 
 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
 
 header( "Location: {$url}" );
-