00001 <?php 00002 00010 require_once( './includes/WebStart.php' ); 00011 global $wgArticlePath; 00012 00013 $page = $wgRequest->getVal( 'wpDropdown' ); 00014 00015 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath ); 00016 00017 header( "Location: {$url}" );