Fix bug in splash system.

jphp-group · Apr 23, 2017 · 24a0dbc · 24a0dbc
1 parent 3ca4a23
commit 24a0dbc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/develnext/src/ide/systems/SplashTipSystem.php b/develnext/src/ide/systems/SplashTipSystem.php
@@ -116,7 +116,7 @@ static function get($lang)
         $databases = [];
 
         foreach (self::$databases as $database) {
-            if ($database->hasLanguage($lang)) {
+            if ($database && $database->hasLanguage($lang)) {
                 $databases[] = $database;
             }
         }