diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 54a0add0d26..30448afb930 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -571,15 +571,15 @@ if (! empty($_GET["theme"])) $conf->theme=$_GET["theme"]; $conf->css = "theme/".$conf->theme."/".$conf->theme.".css"; } -// Si feuille de style en php existe -if (file_exists(DOL_DOCUMENT_ROOT.'/'.$conf->css.".php")) $conf->css.=".php"; +// Style sheet must be a php file +$conf->css.=".php"; if (! empty($user->conf->MAIN_DISABLE_JAVASCRIPT)) { $conf->use_javascript_ajax=! $user->conf->MAIN_DISABLE_JAVASCRIPT; } -// Defini gestionnaire de menu a utiliser +// Define menu manager to use if (! $user->societe_id) // Si utilisateur interne { $conf->top_menu=$conf->global->MAIN_MENU_BARRETOP; @@ -843,12 +843,13 @@ function top_menu($head, $title='', $target='') print "\n".''."\n"; print '