function menu_minipanels_update_7107 in Menu Minipanels 7

Clear the theme cache so that the updated theme registry changes will take effect.

File

./menu_minipanels.install, line 215

Installation and update scripts for Menu_MiniPanels.

Code

function menu_minipanels_update_7107() {
  drupal_theme_rebuild();
}