- Patch #46123 by markus: rebuild the menu after chaning settings.

modules/system.module

@@ -786,9 +786,7 @@ function system_settings_form_submit($form_id, $values) {
   else {
     drupal_set_message(t('The configuration options have been saved.'));
   }
-  if ($form_id == 'system_settings_form') {
-    menu_rebuild();
-  }
+  menu_rebuild();
   drupal_goto($_GET['q']);
 }
 

modules/system/system.module

@@ -786,9 +786,7 @@ function system_settings_form_submit($form_id, $values) {
   else {
     drupal_set_message(t('The configuration options have been saved.'));
   }
-  if ($form_id == 'system_settings_form') {
-    menu_rebuild();
-  }
+  menu_rebuild();
   drupal_goto($_GET['q']);
 }