Workaround for occasional fatal

diff --git a/includes/Database.php b/includes/Database.php
index 719e63c..6f21171 100644 (file)
--- a/includes/Database.php
+++ b/includes/Database.php
@@ -1735,7 +1735,9 @@ border=\"0\" ALT=\"Google\"></A>
        }
 
        # No database access
-       $wgMessageCache->disable();
+       if ( is_object( $wgMessageCache ) ) {
+               $wgMessageCache->disable();
+       }
        
        $msg = wfGetSiteNotice();
        if($msg == '') {