- Menu wasn't being wiped after enabling/disabling themes

modules/system.module

@@ -840,6 +840,7 @@ function system_themes_execute($form_id, $values) {
     variable_del('theme_default');
   }
 
+  menu_rebuild();
   drupal_set_message(t('The configuration options have been saved.'));
   drupal_goto('admin/themes');
 }

modules/system/system.module

@@ -840,6 +840,7 @@ function system_themes_execute($form_id, $values) {
     variable_del('theme_default');
   }
 
+  menu_rebuild();
   drupal_set_message(t('The configuration options have been saved.'));
   drupal_goto('admin/themes');
 }