';
- // Menu with all bookmarks
+ // Menu with all searchable items
foreach ($arrayresult as $keyItem => $item)
{
if (empty($defaultAction)) {
@@ -2017,9 +2017,7 @@ function top_menu_search()
$searchInput = '';
-
- $dropDownHtml = ''."\n";
- $dropDownHtml .= '