PHP Redirect Pause

Question

How do I pause a page for a certain amount of seconds before redirecting the user to another HTML/PHP page using PHP?

Answer 1

Update: this works, but may not be the most appropriate solution for this situation. See comments.

Might this be what you are looking for?