function devel_update_7001

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.');
}