La differenza è che il server/php invia già degli header a priori, quindi usando la funzione Header gli si aggiunge il redirect...
Usando JS, oltre a far eseguire gli header, deve anche processare la pagina e eseguire il JS...
Ad un treno già pieno un passeggero in più non pesa, organizzare un treno e un comitato di benveuto per un solo passeggero è sprecato oltre che dispendioso![]()