diff --git a/include/top.php b/include/top.php index 140e6c2a0..55e3cca9e 100755 --- a/include/top.php +++ b/include/top.php @@ -510,84 +510,85 @@ if (Auth::check()) { '; - if (string_contains($_SERVER['SCRIPT_FILENAME'], 'editor.php')) { + $in_editor = string_contains($_SERVER['SCRIPT_FILENAME'], 'editor.php'); + $in_controller = string_contains($_SERVER['SCRIPT_FILENAME'], 'controller.php'); + if ($in_editor || $in_controller) { // Menu laterale per la visualizzazione dei plugin echo '