Di nuovo, buona estate a tutti.

Uso questo semplicissimo script per cambiare il foglio di stile css associato alla pagina e mantenerlo tramite cookie;
Codice PHP:
<?php
setcookie("skin", $_GET["skin"], time()+31536000);
header("Location:".$HTTP_SERVER_VARS["HTTP_REFERER"]);
?>
con Internet explorer il reload è automatico, con Firefox invece no: a volte lo fa subito, altre devo schiacciare due o tre volte il link, altre ancora devo premere F5 o il tasto AGGIORNA del browser.

Ho provato a cambiare la riga
Codice PHP:
header("Location:".$HTTP_SERVER_VARS["HTTP_REFERER"]); 
con:
Codice PHP:
$PHP-SELF; 
poi ho provato a tenerle entrambe, senza risultati (o meglio, con IE sempre reload al primo colpo, con FF sempre difficoltà)

Sto sbagliando io? Cosa si usa per un reload immediato della pagina? :master: