diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 10f2ae05597..7803de1a8f5 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -512,7 +512,7 @@ function top_menu($head, $title="", $target="") print ''.$user->login.'' ; print ''; - print 'Logout'; + print 'Logout'; } else