[spip-dev] patch safari

Bon, j'ai un patch qui marche pour safari ; je ne vais pas le commiter car
je pense qu'Apple va corriger son machin, mais en attendant ça permet de
tester l'espace privé : c'est dans inc_version.php3 (de la 1.5.1
exclusivement), il faut ajouter trois lignes spéciales Safari juste après

"function spip_setcookie ($name='', $value='', $expire='', $path='', $domain=''
    $name = ereg_replace ('^spip', $GLOBALS['cookie_prefix'], $name);"

Les trois lignes sont :

    if (!$path AND eregi("Safari", $GLOBALS['HTTP_USER_AGENT'])) {
        $path = "/";
        $expire = time()+36000;
    }

L'espace privé s'affiche à une vitesse hallucinante !

-- Fil