Sería:
Código PHP:
header ("Location: url");
exit;
Header() es la función de PHP que te permitirá enviar cabeceras HTTP al cliente .. Una de ellas (que lo define el protocoolo del HTTP) es "Location" para indicar al cliente (navegador): "cambia la página que está viendo .. por la que te indico".. Todo esto antes de que se reciba más HTML por médio y se tenga que ejecutar .. por eso, NO puede existir nada de "salida" antes al cliente (navegador) de dicha función, entiendase "salida": echo "algo", HTML/javascript/etc directo, o un simple espacio o salto de línea antes de <? o al final de ?> caso de que existan algún "include" por médio antes.
Un saludo,