From e4e996518fdcbd6cc0926d4e851097501cc2a7d8 Mon Sep 17 00:00:00 2001 From: Laurent Destailleur Date: Sun, 27 Jun 2004 08:35:15 +0000 Subject: [PATCH] =?UTF-8?q?Fix:=20Restauration=20de=20l'apparence=20du=20m?= =?UTF-8?q?enu=20"s=E9lectionn=E9"=20qui=20ne=20fonctionnait=20plus.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- htdocs/main.inc.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 0a74ba80402..eee66d68cf8 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -485,7 +485,7 @@ function top_menu($head, $title="", $target="") 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"; } + elseif (ereg("^".DOL_URL_ROOT."\/[^\\\/]+$",$PHP_SELF) || ereg("^".DOL_URL_ROOT."\/user\/",$PHP_SELF) || ereg("^".DOL_URL_ROOT."\/admin\/",$PHP_SELF)) { $class="menusel"; } print '
Accueil
'; // Sommet géré par gestionnaire de menu du haut