Update to MediaWiki 1.19.0

1 files changed, 7 insertions, 6 deletions

diff --git a/index.php b/index.php
index 8b53e2ca..e14823af 100644
--- a/index.php
+++ b/index.php
@@ -36,17 +36,18 @@
  * @file
  */
 
-// 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.
+# 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 ) {
 	require( dirname( __FILE__ ) . '/includes/PHPVersionError.php' );
 	wfPHPVersionError( 'index.php' );
 }
 
-# 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
+# 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 {