X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=index.php;h=fb415bcf5fedb84ddf7b986293d0e84c284f1054;hb=40d2c66175ebc3a35e03df3ce98551e8d4482ec4;hp=50c2ef5421cb41a23817d0545790ca74ca115fe9;hpb=82ee110998ea8648a1f7b1c3c7435a0a1f152cf1;p=lhc%2Fweb%2Fwiklou.git

diff --git a/index.php b/index.php
index 50c2ef5421..fb415bcf5f 100644
--- a/index.php
+++ b/index.php
@@ -1,5 +1,4 @@
 <?php
-
 /**
  * This is the main web entry point for MediaWiki.
  *
@@ -37,74 +36,104 @@
  * @file
  */
 
-# Initialise common code
-require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
+// Bail on old versions of PHP.  Pretty much every other file in the codebase
+// has structures (try/catch, foo()->bar(), etc etc) which throw parse errors in PHP 4.
+// Setup.php and ObjectCache.php have structures invalid in PHP 5.0 and 5.1, respectively.
+if ( !function_exists( 'version_compare' ) || version_compare( phpversion(), '5.2.3' ) < 0 ) {
+	$phpversion = htmlspecialchars( phpversion() );
+	$errorMsg = <<<ENDL
+		<p>
+			MediaWiki requires PHP 5.2.3 or higher. You are running PHP $phpversion.
+		</p>
+		<p>
+			Please consider <a href="http://www.php.net/downloads.php">upgrading your copy of PHP</a>.
+			PHP versions less than 5.3.0 are no longer supported by the PHP Group and will not receive
+			security or bugfix updates.
+		</p>
+		<p>
+			If for some reason you are unable to upgrade your PHP version, you will need to
+			<a href="http://www.mediawiki.org/wiki/Download">download</a> an older version
+			of MediaWiki from our website.  See our
+			<a href="http://www.mediawiki.org/wiki/Compatibility#PHP">compatibility page</a>
+			for details of which versions are compatible with prior versions of PHP.
+		</p>
+ENDL;
+	wfDie( $errorMsg );
+}
 
-wfProfileIn( 'index.php' );
-wfProfileIn( 'index.php-setup' );
+# Initialise common code.  This gives us access to GlobalFunctions, the AutoLoader, and
+# the globals $wgRequest, $wgOut, $wgUser, $wgLang and $wgContLang, amongst others; it
+# does *not* load $wgTitle
+if ( isset( $_SERVER['MW_COMPILED'] ) ) {
+	require ( 'phase3/includes/WebStart.php' );
+} else {
+	require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
+}
 
-# Initialize MediaWiki base class
 $mediaWiki = new MediaWiki();
+$mediaWiki->run();
 
-$maxLag = $wgRequest->getVal( 'maxlag' );
-if( !is_null( $maxLag ) && !$mediaWiki->checkMaxLag( $maxLag ) ) {
-	exit;
-}
+/**
+ * Display something vaguely comprehensible in the event of a totally unrecoverable error.
+ * Does not assume access to *anything*; no globals, no autloader, no database, no localisation.
+ * Safe for PHP4 (and putting this here means that WebStart.php and GlobalSettings.php
+ * no longer need to be).
+ *
+ * Calling this function kills execution immediately.
+ *
+ * @param $errorMsg String fully-escaped HTML
+ */
+function wfDie( $errorMsg ){
+	// Use the version set in DefaultSettings if possible, but don't rely on it
+	global $wgVersion, $wgLogo;
+	$version = isset( $wgVersion ) && $wgVersion
+		? htmlspecialchars( $wgVersion )
+		: '';
 
-# Set title from request parameters
-$wgTitle = $mediaWiki->checkInitialQueries( $wgRequest );
-$action = $wgRequest->getVal( 'action', 'view' );
+	$script = $_SERVER['SCRIPT_NAME'];
+	$path = pathinfo( $script, PATHINFO_DIRNAME ) . '/';
+	$path = str_replace( '//', '/', $path );
 
-wfProfileOut( 'index.php-setup' );
+	$logo = isset( $wgLogo ) && $wgLogo
+		? $wgLogo
+		: $path . 'skins/common/images/mediawiki.png';
+	$encLogo = htmlspecialchars( $logo );
 
-# Send Ajax requests to the Ajax dispatcher.
-if( $wgUseAjax && $action == 'ajax' ) {
-	$dispatcher = new AjaxDispatcher();
-	$dispatcher->performAction();
-	wfProfileOut( 'index.php' );
-	$mediaWiki->restInPeace();
-	exit;
-}
+	header( $_SERVER['SERVER_PROTOCOL'] . ' 500 MediaWiki configuration Error', true, 500 );
+	header( 'Content-type: text/html; charset=UTF-8' );
+	// Don't cache error pages!  They cause no end of trouble...
+	header( 'Cache-control: none' );
+	header( 'Pragma: nocache' );
 
-if( $wgUseFileCache && $wgTitle !== null ) {
-	wfProfileIn( 'index.php-filecache' );
-	// Raw pages should handle cache control on their own,
-	// even when using file cache. This reduces hits from clients.
-	if( $action != 'raw' && HTMLFileCache::useFileCache() ) {
-		/* Try low-level file cache hit */
-		$cache = new HTMLFileCache( $wgTitle, $action );
-		if( $cache->isFileCacheGood( /* Assume up to date */ ) ) {
-			/* Check incoming headers to see if client has this cached */
-			if( !$wgOut->checkLastModified( $cache->fileCacheTime() ) ) {
-				$cache->loadFromFileCache();
+	?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns='http://www.w3.org/1999/xhtml' lang='en'>
+	<head>
+		<title>MediaWiki <?php echo $version; ?></title>
+		<meta http-equiv='Content-Type' content='text/html; charset=utf-8' />
+		<style type='text/css' media='screen'>
+			body {
+				color: #000;
+				background-color: #fff;
+				font-family: sans-serif;
+				padding: 2em;
+				text-align: center;
+			}
+			p, img, h1 {
+				text-align: left;
+				margin: 0.5em 0;
 			}
-			# Do any stats increment/watchlist stuff
-			$wgArticle = MediaWiki::articleFromTitle( $wgTitle );
-			$wgArticle->viewUpdates();
-			# Tell $wgOut that output is taken care of
-			$wgOut->disable();
-			wfProfileOut( 'index.php-filecache' );
-			$mediaWiki->finalCleanup( $wgOut );
-			wfProfileOut( 'index.php' );
-			$mediaWiki->restInPeace();
-			exit;
-		}
-	}
-	wfProfileOut( 'index.php-filecache' );
+			h1 {
+				font-size: 120%;
+			}
+		</style>
+	</head>
+	<body>
+		<img src="<?php echo $encLogo; ?>" alt='The MediaWiki logo' />
+		<h1>MediaWiki <?php echo $version; ?> internal error</h1>
+		<div class='error'> <?php echo $errorMsg; ?> </div>
+	</body>
+</html>
+	<?php
+	die( 1 );
 }
-
-# Setting global variables in mediaWiki
-$mediaWiki->setVal( 'DisableHardRedirects', $wgDisableHardRedirects );
-$mediaWiki->setVal( 'EnableCreativeCommonsRdf', $wgEnableCreativeCommonsRdf );
-$mediaWiki->setVal( 'EnableDublinCoreRdf', $wgEnableDublinCoreRdf );
-$mediaWiki->setVal( 'Server', $wgServer );
-$mediaWiki->setVal( 'SquidMaxage', $wgSquidMaxage );
-$mediaWiki->setVal( 'UseExternalEditor', $wgUseExternalEditor );
-$mediaWiki->setVal( 'UsePathInfo', $wgUsePathInfo );
-
-$mediaWiki->performRequestForTitle( $wgTitle, $wgArticle, $wgOut, $wgUser, $wgRequest );
-$mediaWiki->finalCleanup( $wgOut );
-
-wfProfileOut( 'index.php' );
-
-$mediaWiki->restInPeace();