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}" );