MediaWiki  master
redirect.php
Go to the documentation of this file.
00001 <?php
00024 if ( isset( $_SERVER['MW_COMPILED'] ) ) {
00025         require ( 'phase3/includes/WebStart.php' );
00026 } else {
00027         require ( __DIR__ . '/includes/WebStart.php' );
00028 }
00029 
00030 global $wgArticlePath;
00031 
00032 $page = $wgRequest->getVal( 'wpDropdown' );
00033 
00034 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
00035 
00036 header( "Location: {$url}", true, 301 );