From 8065e0079505d5ae7bb856b4c04c716f1ea29b00 Mon Sep 17 00:00:00 2001
From: Laurent Destailleur <eldy@destailleur.fr>
Date: Thu, 5 May 2016 22:30:08 +0200
Subject: [PATCH] FIX #5142

---
 htdocs/main.inc.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php
index bea4a20afcd..b17ce86ad17 100644
--- a/htdocs/main.inc.php
+++ b/htdocs/main.inc.php
@@ -1357,6 +1357,9 @@ function top_menu($head, $title='', $target='', $disablejs=0, $disablehead=0, $a
     global $dolibarr_main_authentication, $dolibarr_main_demo;
     global $hookmanager,$menumanager;
 
+    $searchform='';
+    $bookmarks='';
+    
     // Instantiate hooks of thirdparty module
     $hookmanager->initHooks(array('toprightmenu'));