serialize($GLOBALS['visiteur_session']['prefs'])), "id_auteur=" .intval($GLOBALS['visiteur_session']['id_auteur'])); if ($op == 'spip_ecran') { // Poser un cookie, // car ce reglage depend plus du navigateur que de l'utilisateur $GLOBALS['spip_ecran'] = $val; include_spip('inc/cookie'); spip_setcookie('spip_ecran', $val, time() + 365 * 24 * 3600); } // Si modif des couleurs en ajax, redirect inutile on a change de CSS if ($_SERVER['HTTP_X_REQUESTED_WITH'] == 'XMLHttpRequest') exit; } } ?>