function module_filter_update_7200 in Module Filter 7.2

Rebuild the menu and theme registry.

File

./module_filter.install, line 38

Code

function module_filter_update_7200() {
  menu_rebuild();
  system_rebuild_theme_data();
  drupal_theme_rebuild();
}