$value) { if (substr($name, 0, 5) == 'spip_' && substr($name, 0, $prefix_long) != $cookie_prefix) { unset($_COOKIE[$name]); unset($GLOBALS[$name]); } } foreach ($_COOKIE as $name => $value) { if (substr($name, 0, $prefix_long) == $cookie_prefix) { $spipname = preg_replace('/^' . $cookie_prefix . '_/', 'spip_', $name); $_COOKIE[$spipname] = $value; $GLOBALS[$spipname] = $value; } } } /** * Teste si javascript est supporté par le navigateur et pose un cookie en conséquence * * Si la valeur d'environnement `js` arrive avec la valeur * * - `-1` c'est un appel via une balise `