- Patch #12794 by assimonds: make sure the node module is optional.

includes/theme.inc

@@ -241,9 +241,11 @@ function theme_get_settings($key = NULL) {
     'toggle_comment_user_picture'   =>  0,
   );
 
+  if (module_exist('node')) {
     foreach (node_list() as $type) {
       $defaults['toggle_node_info_' . $type] = 1;
     }
+  }
   $settings = array_merge($defaults, variable_get('theme_settings', array()));
 
   if ($key) {