From 239b7d56b48f79d142c03ec39729fab0743f59c9 Mon Sep 17 00:00:00 2001 From: Laurent Destailleur Date: Tue, 23 Jul 2019 13:31:00 +0200 Subject: [PATCH] Fix compatibility with plugins using old jquery --- htdocs/main.inc.php | 58 ++++++++++++++++++++++++--------------------- 1 file changed, 31 insertions(+), 27 deletions(-) diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 77f2a1f746f..b9b0204bf7e 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -1862,34 +1862,38 @@ function top_menu_user(User $user, Translate $langs) - - - - '; - + + '; + } return $btnUser; }