Commit 52826b00 authored by Dries's avatar Dries
Browse files

- Patch #20690 by jhriggs: editing a user does not clear the menu cache.

parent 3adf556c
...@@ -1144,7 +1144,7 @@ function user_edit($category = 'account') { ...@@ -1144,7 +1144,7 @@ function user_edit($category = 'account') {
else { else {
user_save($account, $edit, $category); user_save($account, $edit, $category);
// Delete that user's menu cache. // Delete that user's menu cache.
cache_clear_all('menu:'. $account->uid); cache_clear_all('menu:'. $account->uid, TRUE);
drupal_set_message(t('The changes have been saved.')); drupal_set_message(t('The changes have been saved.'));
drupal_goto("user/$account->uid"); drupal_goto("user/$account->uid");
} }
......
...@@ -1144,7 +1144,7 @@ function user_edit($category = 'account') { ...@@ -1144,7 +1144,7 @@ function user_edit($category = 'account') {
else { else {
user_save($account, $edit, $category); user_save($account, $edit, $category);
// Delete that user's menu cache. // Delete that user's menu cache.
cache_clear_all('menu:'. $account->uid); cache_clear_all('menu:'. $account->uid, TRUE);
drupal_set_message(t('The changes have been saved.')); drupal_set_message(t('The changes have been saved.'));
drupal_goto("user/$account->uid"); drupal_goto("user/$account->uid");
} }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment