diff --git a/htdocs/core/menus/standard/empty.php b/htdocs/core/menus/standard/empty.php
index 70d95a1d946..b62d3fa74f7 100644
--- a/htdocs/core/menus/standard/empty.php
+++ b/htdocs/core/menus/standard/empty.php
@@ -108,7 +108,7 @@ class MenuManager
 	 */
 	public function showmenu($mode, $moredata = null)
 	{
-		global $langs, $dolibarr_main_db_name;
+		global $langs, $user, $dolibarr_main_db_name;
 
 		$id = 'mainmenu';