diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php
index 0a225bb3aaf..69ef6826b4e 100644
--- a/htdocs/main.inc.php
+++ b/htdocs/main.inc.php
@@ -1984,7 +1984,7 @@ function top_menu_bookmark()
  */
 function top_menu_search()
 {
-    global $langs, $conf, $db, $user;
+    global $langs, $conf, $db, $user, $hookmanager;
 
 	$html = '';