summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDave Reid2009-10-14 01:15:50 (GMT)
committer Dave Reid2009-10-14 01:15:50 (GMT)
commit9c9a88ce459746771bb7da5d062e3acff9f91e3c (patch)
tree2cdc716fd740ee7587a09381eeda2816741e7126
parent049a75407edfce645f1de6b4fa8aca386a379c30 (diff)
by Dave Reid: Reverted removing menu update from devel_update_7001().
-rw-r--r--devel.install6
1 files changed, 5 insertions, 1 deletions
diff --git a/devel.install b/devel.install
index 14353d2..6fea698 100644
--- a/devel.install
+++ b/devel.install
@@ -66,5 +66,9 @@ function devel_update_7000() {
* Rebuild the menus since everything is defined by devel_menu().
*/
function devel_update_7001() {
- // Empty update. Update.php will rebuild menus automatically.
+ db_delete('menu_links')
+ ->condition('module', 'devel')
+ ->execute();
+ variable_set('menu_rebuild_needed', TRUE);
+ return t('Devel module menu links will be rebuilt.');
}