diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2007-01-09 08:56:46 +0000 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2007-01-09 08:56:46 +0000 |
commit | 20194986f6638233732ba1fc3e838f117d3cc9ea (patch) | |
tree | 353069cf5ac40f4888eb24e146bda2e6243e8c75 /install-utils.inc | |
parent | 56136136149363e23034a5e56df3bf69cefe7631 (diff) |
Aktualisierung auf MediaWiki 1.8.3
Diffstat (limited to 'install-utils.inc')
-rw-r--r-- | install-utils.inc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/install-utils.inc b/install-utils.inc index 0ba6eca6..6f8637c3 100644 --- a/install-utils.inc +++ b/install-utils.inc @@ -14,6 +14,16 @@ function install_version_checks() { echo "PHP 5.0.0 or higher is required. ABORTING.\n"; die( -1 ); } + + // Test for PHP bug which breaks PHP 5.0.x on 64-bit... + // As of 1.8 this breaks lots of common operations instead + // of just some rare ones like export. + $borked = str_replace( 'a', 'b', array( -1 => -1 ) ); + if( !isset( $borked[-1] ) ) { + echo "PHP 5.0.x is buggy on your 64-bit system; you must upgrade to PHP 5.1.x\n" . + "or higher. ABORTING. (http://bugs.php.net/bug.php?id=34879 for details)\n"; + die( -1 ); + } global $wgCommandLineMode; $wgCommandLineMode = true; |