exit();
}
+if( version_compare( PHP_VERSION, '5.0.0' ) < 0 ) {
+ print "Sorry! This version of MediaWiki requires PHP 5; you are running " .
+ PHP_VERSION . ".\n\n" .
+ "If you are sure you already have PHP 5 installed, it may be " .
+ "installed\n" .
+ "in a different path from PHP 4. Check with your system administrator.\n";
+ die( -1 );
+}
+
define('MEDIAWIKI',true);
# Process command line arguments
}
# Turn off output buffering again, it might have been turned on in the settings files
-@ob_end_flush();
+if( ob_get_level() ) {
+ ob_end_flush();
+}
# Same with these
$wgCommandLineMode = true;