4 $wgCommandLineMode = false;
6 include_once( "./LocalSettings.php" );
9 include_once( "WebRequest.php" );
10 $wgRequest = new WebRequest();
12 $page = $wgRequest->getVal( "wpDropdown" );
14 $url = str_replace( "$1", $page, $wgArticlePath );
16 header( "Location: {$url}" );