$value){ $_SESSION['OCS'][$key]=$value; } } //Config for all user $config_file=read_config_file(); if (is_array($config_file)) { foreach ($config_file as $key=>$value){ $_SESSION['OCS'][$key]=$value; } } //Splitting name_menu array for use with the "show_menu" javascript function if (isset($_SESSION['OCS']['MENU'])){ foreach($_SESSION['OCS']['MENU'] as $key=>$value){ if(isset($_SESSION['OCS']['PAGE_PROFIL'][$key])) $show_menu[$value]++; } } $_SESSION['OCS']['all_menus']=implode("|", $_SESSION['OCS']['MENU_NAME']); ?>