diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 1d70d4cbf0a..bfef30294fe 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -1484,7 +1484,7 @@ function top_menu($head, $title='', $target='', $disablejs=0, $disablehead=0, $a { print "\n".''."\n"; - print '