My bad. I was thinking of the refresh header, not the HTML meta refresh. The header I believe is not official but nevertheless supported by many browsers since

My bad. I was thinking of the refresh header, not the HTML meta refresh. The header I believe is not official but nevertheless supported by many browsers since Netscape Navigator. In PHP: header("Refresh:<delay in seconds>; url=<URL>");