Codice PHP:
ob_start();
$intervallo=10;
$destinazione="http://localhost/esempio5.0.php";
@
header('Refresh:'.$intervallo';' .$destinazione);
ob_end_flush();