diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 525d9033eb1..bec2f032bd4 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -546,9 +546,7 @@ function top_menu($head, $title="", $target="") } /* - * Barre de menu gauche - * - * + * \brief Barre de menu gauche * * */ @@ -574,55 +572,44 @@ function left_menu($menu, $help_url='', $form_search='', $author='') print "\n"; } - if ((defined("MAIN_SEARCHFORM_SOCIETE") && MAIN_SEARCHFORM_SOCIETE > 0) || (defined("MAIN_SEARCHFORM_CONTACT") && MAIN_SEARCHFORM_CONTACT > 0)) + /* + * Affichage des zones de recherche permanantes + */ + print '
"; + + /* - * Formulaire de recherche + * Zone de recherche supplémentaire */ if (strlen($form_search) > 0) @@ -650,11 +637,31 @@ function left_menu($menu, $help_url='', $form_search='', $author='') print "'; print 'Bug report ';