4 $wgCommandLineMode = false;
5 define( "MEDIAWIKI", true );
7 require_once( "./LocalSettings.php" );
10 require_once( "includes/WebRequest.php" );
11 $wgRequest = new WebRequest();
13 $page = $wgRequest->getVal( "wpDropdown" );
15 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
17 header( "Location: {$url}" );