- Patch #42935 by thierry_gd: fixed problem with upgrading the theme. ...

- Patch #42935 by thierry_gd: fixed problem with upgrading the theme.  (Today's critical bugfix #3.)

database/updates.inc

@@ -667,6 +667,13 @@ function system_update_144() {
 
 function system_update_145() {
   $default_theme = variable_get('theme_default', 'bluemarine');
+
+  $themes = list_themes();
+  if (!array_key_exists($default_theme, $themes)) {
+      variable_set('theme_default', 'bluemarine');
+      $default_theme = 'bluemarine';
+   }
+
   $ret = array();
 
   switch ($GLOBALS['db_type']) {