diff --git a/resources/classes/menu.php b/resources/classes/menu.php index d0b6148d43..47dde80697 100644 --- a/resources/classes/menu.php +++ b/resources/classes/menu.php @@ -1287,6 +1287,7 @@ //styles below are defined here to prevent caching (following a permission change, etc) $html .= "