Reindirizzamento con PHP e Javascript

La via più semplice per effettuare un reindirizzamento in PHP è l'utilizzo della funzione header("Location: file.php");, che però deve essere usata senza che sian stati già inviati altri output (qualsiasi tipo di echo ad esempio) altrimenti non funzionerà restituendo il classico Warning: headers already sent by (output started ...
Uno dei metodi per superare il problema prevede l'utilizzo di Javascript, inviato come output con echo.
Vediamo l'esempio di uno script, la parte finale: dopo aver effettuato una modifica lo script da conferma a video del successo dell'operazione poi Javascript conta 10 secondi e reindirizza alla pagina precedente di modifica (sostituire le parentesi quadre con le parentesi angolari):

echo     'Modifica effettuata con successo';
echo     '[script type="text/javascript"]setTimeout("parent.history.back()",10*1000)[/script]';