diff options
Diffstat (limited to '')
| -rw-r--r-- | admin/plugins_list.php | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/admin/plugins_list.php b/admin/plugins_list.php index ed115dbb7..2b12f171c 100644 --- a/admin/plugins_list.php +++ b/admin/plugins_list.php @@ -38,10 +38,16 @@ $plugins = new plugins(); //--------------------------------------------------perform requested actions if (isset($_GET['action']) and isset($_GET['plugin']) and !is_adviser()) { - $page['errors'] = - $plugins->perform_action($_GET['action'], $_GET['plugin']); + $page['errors'] = $plugins->perform_action($_GET['action'], $_GET['plugin']); - if (empty($page['errors'])) redirect($base_url); + if (empty($page['errors'])) + { + if ($_GET['action'] == 'activate' or $_GET['action'] == 'deactivate') + { + $template->delete_compiled_templates(); + } + redirect($base_url); + } } //--------------------------------------------------------------------Tabsheet |