wiki.techinc.nl/includes/WebStart.php

<?php
/**
 * This does the initial setup for a web request.
 * It does some security checks, starts the profiler and loads the
 * configuration, and optionally loads Setup.php depending on whether
 * MW_NO_SETUP is defined.
 *
 * @file
 */

/**
 * Detect compiled mode by looking for a function that only exists if compiled 
 * in. Note that we can't use function_exists(), because it is terribly broken 
 * under HipHop due to the "volatile" feature.
 */
function wfDetectCompiledMode() {
	try {
		$r = new ReflectionFunction( 'wfHipHopCompilerVersion' );
	} catch ( ReflectionException $e ) {
		$r = false;
	}
	return $r !== false;
}

# Protect against register_globals
# This must be done before any globals are set by the code
if ( ini_get( 'register_globals' ) ) {
	if ( isset( $_REQUEST['GLOBALS'] ) ) {
		die( '<a href="http://www.hardened-php.net/globals-problem">$GLOBALS overwrite vulnerability</a>');
	}
	$verboten = array(
		'GLOBALS',
		'_SERVER',
		'HTTP_SERVER_VARS',
		'_GET',
		'HTTP_GET_VARS',
		'_POST',
		'HTTP_POST_VARS',
		'_COOKIE',
		'HTTP_COOKIE_VARS',
		'_FILES',
		'HTTP_POST_FILES',
		'_ENV',
		'HTTP_ENV_VARS',
		'_REQUEST',
		'_SESSION',
		'HTTP_SESSION_VARS'
	);
	foreach ( $_REQUEST as $name => $value ) {
		if( in_array( $name, $verboten ) ) {
			header( "HTTP/1.1 500 Internal Server Error" );
			echo "register_globals security paranoia: trying to overwrite superglobals, aborting.";
			die( -1 );
		}
		unset( $GLOBALS[$name] );
	}
}

$wgRequestTime = microtime(true);
# getrusage() does not exist on the Microsoft Windows platforms, catching this
if ( function_exists ( 'getrusage' ) ) {
	$wgRUstart = getrusage();
} else {
	$wgRUstart = array();
}
unset( $IP );

# Valid web server entry point, enable includes.
# Please don't move this line to includes/Defines.php. This line essentially
# defines a valid entry point. If you put it in includes/Defines.php, then
# any script that includes it becomes an entry point, thereby defeating
# its purpose.
define( 'MEDIAWIKI', true );

# Full path to working directory.
# Makes it possible to for example to have effective exclude path in apc.
# Also doesn't break installations using symlinked includes, like
# dirname( __FILE__ ) would do.
$IP = getenv( 'MW_INSTALL_PATH' );
if ( $IP === false ) {
	$IP = realpath( '.' );
}

if ( wfDetectCompiledMode() ) {
	define( 'MW_COMPILED', 1 );
}

if ( !defined( 'MW_COMPILED' ) ) {
	# Get MWInit class
	require_once( "$IP/includes/Init.php" );

	# Start profiler
	# FIXME: rewrite wfProfileIn/wfProfileOut so that they can work in compiled mode
	if ( file_exists( "$IP/StartProfiler.php" ) ) {
		require_once( "$IP/StartProfiler.php" );
	} else {
		require_once( "$IP/includes/ProfilerStub.php" );
	}

	# Load up some global defines.
	require_once( "$IP/includes/Defines.php" );

	# Start the autoloader, so that extensions can derive classes from core files
	require_once( "$IP/includes/AutoLoader.php" );
}

wfProfileIn( 'WebStart.php-conf' );

# Load default settings
require_once( MWInit::compiledPath( "includes/DefaultSettings.php" ) );

if ( defined( 'MW_CONFIG_CALLBACK' ) ) {
	# Use a callback function to configure MediaWiki
	MWFunction::call( MW_CONFIG_CALLBACK );
} else {
	if ( !defined( 'MW_CONFIG_FILE' ) ) {
		define('MW_CONFIG_FILE', MWInit::interpretedPath( 'LocalSettings.php' ) );
	}

	# LocalSettings.php is the per site customization file. If it does not exist
	# the wiki installer needs to be launched or the generated file uploaded to
	# the root wiki directory
	if( !file_exists( MW_CONFIG_FILE ) ) {
		$script = $_SERVER['SCRIPT_NAME'];
		$path = htmlspecialchars( str_replace( '//', '/', pathinfo( $script, PATHINFO_DIRNAME ) ) );
		$ext = htmlspecialchars( pathinfo( $script, PATHINFO_EXTENSION ) );

		# Check to see if the installer is running
		if ( !function_exists( 'session_name' ) ) {
			$installerStarted = false;
		} else {
			session_name( 'mw_installer_session' );
			$oldReporting = error_reporting( E_ALL & ~E_NOTICE );
			$success = session_start();
			error_reporting( $oldReporting );
			$installerStarted = ( $success && isset( $_SESSION['installData'] ) );
		}

		$please = $installerStarted
			? "Please <a href=\"$path/mw-config/index.$ext\"> complete the installation</a> and download LocalSettings.php."
			: "Please <a href=\"$path/mw-config/index.$ext\"> set up the wiki</a> first.";

		wfDie( "<p>LocalSettings.php not found.</p><p>$please</p>" );
	}

	# Include site settings. $IP may be changed (hopefully before the AutoLoader is invoked)
	require_once( MW_CONFIG_FILE );
}

if ( $wgEnableSelenium ) {
	require_once( MWInit::compiledPath( "includes/SeleniumWebSettings.php" ) );
}

wfProfileOut( 'WebStart.php-conf' );

wfProfileIn( 'WebStart.php-ob_start' );
# Initialise output buffering
# Check that there is no previous output or previously set up buffers, because
# that would cause us to potentially mix gzip and non-gzip output, creating a
# big mess.
if ( !defined( 'MW_NO_OUTPUT_BUFFER' ) && ob_get_level() == 0 ) {
	if ( !defined( 'MW_COMPILED' ) ) {
		require_once( "$IP/includes/OutputHandler.php" );
	}
	ob_start( 'wfOutputHandler' );
}
wfProfileOut( 'WebStart.php-ob_start' );

if ( !defined( 'MW_NO_SETUP' ) ) {
	require_once( MWInit::compiledPath( "includes/Setup.php" ) );
}