diff options
Diffstat (limited to 'plugins/LocalFilesEditor/admin.php')
| -rw-r--r-- | plugins/LocalFilesEditor/admin.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/LocalFilesEditor/admin.php b/plugins/LocalFilesEditor/admin.php index 93959ae95..4f4dca03c 100644 --- a/plugins/LocalFilesEditor/admin.php +++ b/plugins/LocalFilesEditor/admin.php @@ -321,6 +321,7 @@ if (isset($_POST['submit']) and !is_adviser()) @fwrite($file , $content_file); @fclose($file); array_unshift($page['infos'], l10n('locfiledit_save_config')); + $template->delete_compiled_templates(); } else { |