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;
umask( 000 );
- set_time_limit( 0 );
+ @set_time_limit( 0 );
}
function copyfile( $sdir, $name, $ddir, $perms = 0664 ) {
function readconsole( $prompt = '' ) {
static $isatty = null;
if ( is_null( $isatty ) ) {
- if ( !function_exists( 'posix_isatty' ) || posix_isatty( STDIN ) ) {
+ if ( !function_exists( 'posix_isatty' ) || posix_isatty( 0 /*STDIN*/ ) ) {
$isatty = true;
} else {
$isatty = false;