redirect

number redirect(string $url)

Sets a redirect to $url that takes place after the script finishes.

Example:

redirect('https://google.pl');