PHP pages timer, automatic / timed turned HTML pages

$url = '跳转的URL地址'
header("location:" . $url);

// 或

// Refresh：刷新
// CONTENT="5"：每隔5秒
// url:跳转的地址（可不设置，则只是定时刷新）
echo '<META HTTP-EQUIV="Refresh" CONTENT="5" url="><font color="red">5秒自动刷新一次!!</font><br><br><br>本次同步成功！准备进行下一次同步<br><br>（请耐心等候，务必不要关闭此页面）~<br>';