Yo usaría cabeceras HTTP directas lanzadas por PHP .. más seguro y rápido que opciones que generan la página HTML completa y esperan a que el navegador las interprete .. Las cabeceras HTTP se interpretan -antes- del HTML/javascript posible que envies.
Código PHP:
header ("Location: dondesea.php");
exit;
Un saludo,