$page = $wgRequest->getVal( 'wpDropdown' );
$url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
header( "Location: {$url}" );
$page = $wgRequest->getVal( 'wpDropdown' );
$url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
header( "Location: {$url}" );