diff --git a/htdocs/main.inc.php3 b/htdocs/main.inc.php3 index 9b42fd82756..636fa64c4b6 100644 --- a/htdocs/main.inc.php3 +++ b/htdocs/main.inc.php3 @@ -344,7 +344,7 @@ function top_menu($head) print '