function devel_update_7001 in Devel 7

Rebuild the menus since everything is defined by devel_menu().

File

./devel.install, line 75

Code

function devel_update_7001() {
  db_delete('menu_links')
    ->condition('module', 'devel')
    ->execute();
  variable_set('menu_rebuild_needed', TRUE);
  return t('Devel module menu links will be rebuilt.');
}