diff --git a/main/admin/settings.lib.php b/main/admin/settings.lib.php index db821c830c..b7fedfa9c8 100755 --- a/main/admin/settings.lib.php +++ b/main/admin/settings.lib.php @@ -111,7 +111,7 @@ function handle_extensions() function handle_plugins() { $plugin_obj = new AppPlugin(); - + $token = Security::get_token(); if (isset($_POST['submit_plugins'])) { store_plugins(); // Add event to the system log. @@ -126,7 +126,7 @@ function handle_plugins() //Plugins NOT installed echo Display::page_subheader(get_lang('Plugins')); - echo '