function warden_update_7100 in Warden 7

Clear the menu cache so that the 'admin/reports/warden' path can be properly handled.

File

./warden.install, line 76

Clean up file for warden

Code

function warden_update_7100() {
  variable_set('menu_rebuild_needed', TRUE);
}