* Use double quoted consistently on attributes in linker output; preparing for new...
[mediawiki.git] / redirect.php
blobc0e8746ef6f507a533071d5c7b69516a2ccc0c54
1 <?php
2 unset( $DP );
3 unset( $IP );
4 $wgCommandLineMode = false;
5 define( 'MEDIAWIKI', true );
6 if ( isset( $_REQUEST['GLOBALS'] ) ) {
7 echo '<a href="http://www.hardened-php.net/index.76.html">$GLOBALS overwrite vulnerability</a>';
8 die( -1 );
11 require_once( './includes/Defines.php' );
12 require_once( './LocalSettings.php' );
13 global $wgArticlePath;
15 require_once( 'includes/WebRequest.php' );
16 $wgRequest = new WebRequest();
18 $page = $wgRequest->getVal( 'wpDropdown' );
20 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
22 header( "Location: {$url}" );