diff options
| author | Steven Wittens <steven@10.no-reply.drupal.org> | 2005-11-29 02:52:20 +0000 |
|---|---|---|
| committer | Steven Wittens <steven@10.no-reply.drupal.org> | 2005-11-29 02:52:20 +0000 |
| commit | 670e835772e6583fd99a60ac0a8d8e8aaf6c72a6 (patch) | |
| tree | 69bdbcbd9dbd5c0443b6fc6008b7d4b2c061a74e /modules/system.module | |
| parent | 15b5004590c80f6af32f6b5e7c73898e151e2d5f (diff) | |
| download | brdo-670e835772e6583fd99a60ac0a8d8e8aaf6c72a6.tar.gz brdo-670e835772e6583fd99a60ac0a8d8e8aaf6c72a6.tar.bz2 | |
- Menu wasn't being wiped after enabling/disabling themes
Diffstat (limited to 'modules/system.module')
| -rw-r--r-- | modules/system.module | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/system.module b/modules/system.module index 9b4f92a8f..d31d4dd62 100644 --- a/modules/system.module +++ b/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'); } |