wiki.techinc.nl/redirect.php

<?php

/**
 * Script that redirects to the article passed in the "wpDropdown" parameter.
 * This is used by the nostalgia skin for the special pages drop-down
 *
 * @file
 */
if ( isset( $_SERVER['MW_COMPILED'] ) ) {
	require ( 'phase3/includes/WebStart.php' );
} else {
	require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
}

global $wgArticlePath;

$page = $wgRequest->getVal( 'wpDropdown' );

$url = str_replace( "$1", urlencode( $page ), $wgArticlePath );

header( "Location: {$url}", true, 301 );
using index.php and redirect.php instead of wiki.phtml and redirect.phtml keeping phtml stubs around for compatibility and CVS history 2004-02-28 03:04:02 +00:00			`<?php`
Same as r48631; added "@file" when needed, also added doc in redirect.php and install-utils.inc 2009-03-21 16:48:09 +00:00
			`/**`
			`* Script that redirects to the article passed in the "wpDropdown" parameter.`
			`* This is used by the nostalgia skin for the special pages drop-down`
			`*`
			`* @file`
			`*/`
HipHop improvements: * Added the ability to compile extensions. The build process is bootstrapped by running MediaWiki in interpreted mode. Extension setup file inclusions are slightly modified in a way that makes them register themselves for compilation. Then the same LocalSettings.php uses the compiled extension setup file when the compiled binary runs. * Tested with Cite and ParserFunctions. The code which lets you have an extensions directory in a place other than $IP/../extensions is untested. * Simplified WebStart.php slightly by using a custom $_SERVER variable to mark compiled mode. It will break if you don't use the supplied server.conf, but that will break a lot of things so don't do that. * Fixed the core web entry points to include WebStart.php in compiled mode instead of interpreted. * Made the build directory configurable. This is mostly so that I can grep the source tree without seeing loads of generated C++. * In server.conf, added a rewrite rule allowing a /wiki/$1 article path. * Removed server.conf log file location "/dev/stdout", breaks when you switch user * Disable static content cache, breaks horribly when you set SourceRoot to a directory containing 7GB of files. * Rewrote the run-server script in PHP, mostly to support the configurable build directory feature. * Added an option to the run-server script to allow running in interpreted (hphpi) mode. 2011-05-30 13:49:09 +00:00			`if ( isset( $_SERVER['MW_COMPILED'] ) ) {`
			`require ( 'phase3/includes/WebStart.php' );`
			`} else {`
			`require ( dirname( __FILE__ ) . '/includes/WebStart.php' );`
			`}`
Same as r48631; added "@file" when needed, also added doc in redirect.php and install-utils.inc 2009-03-21 16:48:09 +00:00
Fix for register_globals off 2004-04-10 23:57:25 +00:00			`global $wgArticlePath;`

Single quotes, just for the hell of it 2005-01-31 20:35:47 +00:00			`$page = $wgRequest->getVal( 'wpDropdown' );`
Fix for register_globals off 2004-04-10 23:57:25 +00:00
url-encode the url 2004-10-14 07:49:22 +00:00			`$url = str_replace( "$1", urlencode( $page ), $wgArticlePath );`
Fix for register_globals off 2004-04-10 23:57:25 +00:00
Set a HTTP 301 header in redirect.php Upstream wikia change 2011-09-03 22:50:44 +00:00			`header( "Location: {$url}", true, 301 );`