Es muy simple, debemos usar la función header para enviar la correspondiente cabecera http. Debido a las restricciones del protocolo http esta cabecera debe ser previa a cualquier salida html o utilizar el cache de salida para que no se produzca un error.
La redirección la podemos realizar de forma inmediata o demorarla unos segunos si queremos mostrar algo temporalmente.
Para una redirección inmediata usamos:
header("Location: $pagina_destino");
|
Para una redirección demorada unos segundos:
header("Refresh: 4;$pagina_destino");
|
En este último caso esperará 4 segundos antes de redirigirse automáticamente a la página indicada en la variable.
También podríamos usar JavaScript para redireccionar a otra página:
echo "<script language='Javascript'>
|
document.location.href='$pagina_destino';
|
</script>";
|
En caso de redireccionar con JavaScript no tendremos las restricciones de header respecto a la salida html.