2 require_once( './includes/WebStart.php' );
5 require_once( 'includes/WebRequest.php' );
6 $wgRequest = new WebRequest();
8 $page = $wgRequest->getVal( 'wpDropdown' );
10 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
12 header( "Location: {$url}" );