diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 0ca11896f73..58d59328948 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -496,10 +496,14 @@ function top_menu($head, $title="", $target="") print ''; // Logout - print '' ; + print '' ; if (! $_SERVER["REMOTE_USER"]) // Propose ou non de se deloguer si authentication Apache ou non { - print ''.$user->login.'' ; + print ''.$user->login.'' ; + + print ''; + print 'Logout'; + } else {