http_redirect

Description

The supplied url will be expanded with http_build_url(), the params array will
be treated with http_build_str() and the session identification will be appended
if session is true. The HTTP response code will be set according to status.
You can use one of the redirect constants for convenience.
Please see » RFC 2616
for which redirect response code to use in which situation. By default PHP will decide which response status fits best.

To be RFC compliant, "Redirecting to <a>URL</a>." will be displayed,
if the client doesn't redirect immediately, and the request method was another one than HEAD.