diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php
index f0853d2b541..0a74ba80402 100644
--- a/htdocs/main.inc.php
+++ b/htdocs/main.inc.php
@@ -416,7 +416,7 @@ $bc[1]="class=\"pair\"";
*
*/
-function top_menu($head, $title="")
+function top_menu($head, $title="", $target="")
{
global $user, $conf, $langs;
@@ -481,12 +481,12 @@ function top_menu($head, $title="")
print '
';
print "";
- // Sommet menu de gauche
+ // Sommet menu de gauche, lien accueil
global $PHP_SELF;
$class="";
if ($_SESSION["topmenu"] && $_SESSION["topmenu"] == "accueil") { $class="menusel"; }
elseif (ereg('^\/[^\\\/]+$',$PHP_SELF) || ereg('^\/user\/',$PHP_SELF) || ereg('^\/admin\/',$PHP_SELF)) { $class="menusel"; }
- print '';
+ print '';
// Sommet géré par gestionnaire de menu du haut
print '