From eb2bed283304d658cc6bdd803f894550b793bb89 Mon Sep 17 00:00:00 2001
From: Dries Buytaert <dries@buytaert.net>
Date: Wed, 1 Feb 2006 15:34:55 +0000
Subject: [PATCH] - Patch #46123 by markus: rebuild the menu after chaning
 settings.

---
 modules/system.module        | 4 +---
 modules/system/system.module | 4 +---
 2 files changed, 2 insertions(+), 6 deletions(-)

diff --git a/modules/system.module b/modules/system.module
index 9e0939b25cc..82cc352d1e3 100644
--- a/modules/system.module
+++ b/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']);
 }
 
diff --git a/modules/system/system.module b/modules/system/system.module
index 9e0939b25cc..82cc352d1e3 100644
--- a/modules/system/system.module
+++ b/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']);
 }