X-Git-Url: http://git.heureux-cyclage.org/?a=blobdiff_plain;f=includes%2FWebStart.php;h=fa92fc7213901c29bd942cbf0c6d2a7cff9aebef;hb=bbd225e01312fd56845d8fbf650aa3cd184bb731;hp=770e81fa60dc161cdd0198a1ca36e0d42f3c6710;hpb=3589532db41e32bd09d6814674f7afbb0fe65e34;p=lhc%2Fweb%2Fwiklou.git

diff --git a/includes/WebStart.php b/includes/WebStart.php
index 770e81fa60..fa92fc7213 100644
--- a/includes/WebStart.php
+++ b/includes/WebStart.php
@@ -8,6 +8,20 @@
  * @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' ) ) {
@@ -34,7 +48,7 @@ if ( ini_get( 'register_globals' ) ) {
 	);
 	foreach ( $_REQUEST as $name => $value ) {
 		if( in_array( $name, $verboten ) ) {
-			header( "HTTP/1.x 500 Internal Server Error" );
+			header( "HTTP/1.1 500 Internal Server Error" );
 			echo "register_globals security paranoia: trying to overwrite superglobals, aborting.";
 			die( -1 );
 		}
@@ -67,47 +81,65 @@ if ( $IP === false ) {
 	$IP = realpath( '.' );
 }
 
-
-# Start profiler
-if( file_exists("$IP/StartProfiler.php") ) {
-	require_once( "$IP/StartProfiler.php" );
-} else {
-	require_once( "$IP/includes/ProfilerStub.php" );
+if ( wfDetectCompiledMode() ) {
+	define( 'MW_COMPILED', 1 );
 }
-wfProfileIn( 'WebStart.php-conf' );
 
-# Load up some global defines.
-require_once( "$IP/includes/Defines.php" );
-
-# Check for PHP 5
-if ( !function_exists( 'version_compare' ) 
-	|| version_compare( phpversion(), '5.0.0' ) < 0
-) {
-	define( 'MW_PHP4', '1' );
-	require( "$IP/includes/DefaultSettings.php" );
-	require( "$IP/includes/templates/PHP4.php" );
-	exit;
+if ( !defined( 'MW_COMPILED' ) ) {
+	# Get MWInit class
+	require_once( "$IP/includes/Init.php" );
+
+	# Start the autoloader, so that extensions can derive classes from core files
+	require_once( "$IP/includes/AutoLoader.php" );
+
+	# Start profiler
+	# FIXME: rewrite wfProfileIn/wfProfileOut so that they can work in compiled mode
+	require_once( "$IP/includes/profiler/Profiler.php" );
+	if ( file_exists( "$IP/StartProfiler.php" ) ) {
+		require_once( "$IP/StartProfiler.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( "$IP/includes/DefaultSettings.php" );
+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', "$IP/LocalSettings.php");
-	
+	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 moved from
-	# ./config/ to ./
+	# the wiki installer needs to be launched or the generated file uploaded to
+	# the root wiki directory
 	if( !file_exists( MW_CONFIG_FILE ) ) {
-		require_once( "$IP/includes/templates/NoLocalSettings.php" );
-		die();
+		$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)
@@ -115,7 +147,7 @@ if ( defined( 'MW_CONFIG_CALLBACK' ) ) {
 }
 
 if ( $wgEnableSelenium ) {
-	require_once( "$IP/includes/SeleniumWebSettings.php" );
+	require_once( MWInit::compiledPath( "includes/SeleniumWebSettings.php" ) );
 }
 
 wfProfileOut( 'WebStart.php-conf' );
@@ -126,12 +158,14 @@ wfProfileIn( 'WebStart.php-ob_start' );
 # 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 ) {
-	require_once( "$IP/includes/OutputHandler.php" );
+	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( "$IP/includes/Setup.php" );
+	require_once( MWInit::compiledPath( "includes/Setup.php" ) );
 }