coding style tweaks + removed some PHP4-isms
[lhc/web/wiklou.git] / index.php
index 50c2ef5..fb415bc 100644 (file)
--- a/index.php
+++ b/index.php
@@ -1,5 +1,4 @@
 <?php
-
 /**
  * This is the main web entry point for MediaWiki.
  *
  * @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();