In continuation of r23243: is already created by Setup.php, it don't need to set...
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Wed, 19 Mar 2008 12:43:00 +0000 (12:43 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Wed, 19 Mar 2008 12:43:00 +0000 (12:43 +0000)
redirect.php

index ad3400e..626c30d 100644 (file)
@@ -2,12 +2,8 @@
 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}" );
-