X-Git-Url: https://git.cyclocoop.org/?a=blobdiff_plain;f=index.php;h=685b14e0cb273952be3cea9dcd51b8a2c284e9c0;hb=9536c97c0006f60dafc5652b80c9b3442771db28;hp=7184ebf34a31e8a8b92b0478c9cc0bd6b6585c23;hpb=d6defb96794deb944c4dde422582f8c08c8d1a9c;p=lhc%2Fweb%2Fwiklou.git

diff --git a/index.php b/index.php
index 7184ebf34a..685b14e0cb 100644
--- a/index.php
+++ b/index.php
@@ -1,5 +1,4 @@
 <?php
-
 /**
  * This is the main web entry point for MediaWiki.
  *
@@ -37,26 +36,63 @@
  * @file
  */
 
-# Initialise common code
+// 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 );
+}
+
+# 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 or $wgArticle
 require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
 
 wfProfileIn( 'index.php' );
 wfProfileIn( 'index.php-setup' );
 
-# Initialize MediaWiki base class
-$mediaWiki = new MediaWiki( $wgRequest, $wgOut );
-
 $maxLag = $wgRequest->getVal( 'maxlag' );
 if ( !is_null( $maxLag ) ) {
-	list( $host, $lag ) = wfGetLB()->getMaxLag();
+	$lb = wfGetLB(); // foo()->bar() is not supported in PHP4
+	list( $host, $lag ) = $lb->getMaxLag();
 	if ( $lag > $maxLag ) {
-		wfMaxlagError( $host, $lag, $maxLag );
+		header( 'HTTP/1.1 503 Service Unavailable' );
+		header( 'Retry-After: ' . max( intval( $maxLag ), 5 ) );
+		header( 'X-Database-Lag: ' . intval( $lag ) );
+		header( 'Content-Type: text/plain' );
+		if( $wgShowHostnames ) {
+			echo "Waiting for $host: $lag seconds lagged\n";
+		} else {
+			echo "Waiting for a database server: $lag seconds lagged\n";
+		}
 		exit;
 	}
 }
 
+# Initialize MediaWiki base class
+$context = RequestContext::getMain();
+$mediaWiki = new MediaWiki( $context );
+
 # Set title from request parameters
-$wgTitle = $mediaWiki->checkInitialQueries();
+$wgTitle = $mediaWiki->getTitle();
 $action = $wgRequest->getVal( 'action', 'view' );
 
 wfProfileOut( 'index.php-setup' );
@@ -79,14 +115,14 @@ if ( $wgUseFileCache && $wgTitle !== null ) {
 		$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() ) ) {
+			if ( !$context->output->checkLastModified( $cache->fileCacheTime() ) ) {
 				$cache->loadFromFileCache();
 			}
 			# Do any stats increment/watchlist stuff
-			$wgArticle = MediaWiki::articleFromTitle( $wgTitle );
+			$wgArticle = MediaWiki::articleFromTitle( $wgTitle, $context );
 			$wgArticle->viewUpdates();
-			# Tell $wgOut that output is taken care of
-			$wgOut->disable();
+			# Tell OutputPage that output is taken care of
+			$context->output->disable();
 			wfProfileOut( 'index.php-filecache' );
 			$mediaWiki->finalCleanup();
 			wfProfileOut( 'index.php' );
@@ -97,18 +133,68 @@ if ( $wgUseFileCache && $wgTitle !== null ) {
 	wfProfileOut( 'index.php-filecache' );
 }
 
-# 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, $wgUser );
+$mediaWiki->performRequestForTitle( $wgArticle );
 $mediaWiki->finalCleanup();
 
 wfProfileOut( 'index.php' );
 
 $mediaWiki->restInPeace();
+
+/**
+ * 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 )
+		: '';
+	$logo = isset( $wgLogo ) && $wgLogo
+		? $wgLogo
+		: 'http://upload.wikimedia.org/wikipedia/commons/1/1c/MediaWiki_logo.png';
+
+	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' );
+
+	?>
+<!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;
+			}
+			h1 {
+				font-size: 120%;
+			}
+		</style>
+	</head>
+	<body>
+		<img src="<?php echo $logo; ?>" alt='The MediaWiki logo' />
+		<h1>MediaWiki <?php echo $version; ?> internal error</h1>
+		<div class='error'> <?php echo $errorMsg; ?> </div>
+	</body>
+</html>
+	<?php
+	die( 1 );
+}