Pues siguiendo la intención del publicador, como colación les dejo una función que puede ayudar a sus pretensiones. Sirve por si la redirección se ejecute sin javascript, o que redireccione a pesar de tener un header ya lanzado.
Código PHP:
function Redir($url) {
if (headers_sent()) {
echo "<script>document.location.href='$url';</script>\n";
} else {
ob_end_clean();
header( "Location: $url" );
}
}