diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 4da2cf79594..921faa07be5 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -288,89 +288,95 @@ function top_menu($head, $title="", $target="") * \param help_url Url pour le lien aide ('' par defaut) * \param form_search Formulaire de recherche permanant supplémentaire */ - -function left_menu($menu_array, $help_url='', $form_search='') +function left_menu($menu_array, $help_url='', $form_search='') { - global $user, $conf, $langs, $db; + global $user, $conf, $langs, $db; - print '