diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2007-01-11 19:06:07 +0000 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2007-01-11 19:06:07 +0000 |
commit | a58285fd06c8113c45377c655dd43cef6337e815 (patch) | |
tree | dfe31d3d12652352fe44890b4811eda0728faefb /maintenance/commandLine.inc | |
parent | 20194986f6638233732ba1fc3e838f117d3cc9ea (diff) |
Aktualisierung auf MediaWiki 1.9.0
Diffstat (limited to 'maintenance/commandLine.inc')
-rw-r--r-- | maintenance/commandLine.inc | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/maintenance/commandLine.inc b/maintenance/commandLine.inc index 2549057e..18a1d712 100644 --- a/maintenance/commandLine.inc +++ b/maintenance/commandLine.inc @@ -14,6 +14,15 @@ if ( isset( $_SERVER ) && array_key_exists( 'REQUEST_METHOD', $_SERVER ) ) { 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 @@ -179,7 +188,9 @@ if ( file_exists( '/home/wikipedia/common/langlist' ) ) { } # 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; |