Try to avoid file caching php fatals, it's very annoying

diff --git a/includes/HTMLFileCache.php b/includes/HTMLFileCache.php
index e267962..ce4c11a 100644 (file)
--- a/includes/HTMLFileCache.php
+++ b/includes/HTMLFileCache.php
@@ -165,7 +165,10 @@ class HTMLFileCache {
                        return $origtext; // return to output
                }
                $text = $origtext;
+               // Empty?
                if( strcmp($text,'') == 0 ) return '';
+               // Probably broken? (OOM and PHP errors)
+               if( mb_strlen($text) < 512 ) return $origtext;
 
                wfDebug(" saveToFileCache()\n", false);