diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 6ffd5a088e8..fa3a8c1cd43 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -1813,7 +1813,7 @@ function top_menu_user(User $user, Translate $langs)