Avoid E_NOTICE for wikis that give no rights to anonymous users.

diff --git a/includes/Title.php b/includes/Title.php
index d665f2b..d6ce01e 100644 (file)
--- a/includes/Title.php
+++ b/includes/Title.php
@@ -1496,7 +1496,7 @@ class Title {
                }
 
                # Shortcut for public wikis, allows skipping quite a bit of code
-               if ($wgGroupPermissions['*']['read'])
+               if ( !empty( $wgGroupPermissions['*'] ) )
                        return true;
 
                if( $wgUser->isAllowed( 'read' ) ) {