| Index: trunk/phase3/config/index.php |
| — | — | @@ -770,7 +770,7 @@ |
| 771 | 771 | if ( isset( \$_SERVER ) && array_key_exists( 'REQUEST_METHOD', \$_SERVER ) ) { |
| 772 | 772 | die( \"This script must be run from the command line\\n\" ); |
| 773 | 773 | } |
| 774 | | -} elseif ( !\$wgConfiguring ) { |
| | 774 | +} elseif ( empty( \$wgConfiguring ) ) { |
| 775 | 775 | ## Compress output if the browser supports it |
| 776 | 776 | {$zlib}if( !ini_get( 'zlib.output_compression' ) ) ob_start( 'ob_gzhandler' ); |
| 777 | 777 | } |