diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 36f3583e838..dd4250383c7 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -197,12 +197,12 @@ function top_menu($head, $title="", $target="") $menutop->showmenu(); // Lien sur fiche du login - print ''.$user->login.'' ; + print ''.$user->login.'' ; // Lien logout if (! isset($_SERVER["REMOTE_USER"]) || ! $_SERVER["REMOTE_USER"]) { - print ''; + print ''; print ''.$langs->trans('; }