diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 995d6454a24..0bea3b39465 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -941,15 +941,15 @@ function top_menu($head, $title='', $target='', $disablejs=0, $disablehead=0, $a print "\n".''."\n"; print '