diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index ba0c7a28af6..664ebd5a6f2 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -329,7 +329,7 @@ function top_menu($head, $title="") { global $user, $conf, $rtplang; - print ''; + print ''; print "\n"; print $rtplang->lang_header();