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