fix notice

diff --git a/config/index.php b/config/index.php
index 0682cd2..813b5fe 100644 (file)
--- a/config/index.php
+++ b/config/index.php
@@ -770,7 +770,7 @@ if ( \$wgCommandLineMode ) {
        if ( isset( \$_SERVER ) && array_key_exists( 'REQUEST_METHOD', \$_SERVER ) ) {
                die( \"This script must be run from the command line\\n\" );
        }
-} elseif ( !\$wgConfiguring ) {
+} elseif ( empty( \$wgConfiguring ) ) {
        ## Compress output if the browser supports it
        {$zlib}if( !ini_get( 'zlib.output_compression' ) ) ob_start( 'ob_gzhandler' );
 }