php: redirect()?

This is not a request for开发者_StackOverflow a solution, but just to clarify something.

When I do a redirect in php I use header()

but while going through someone else's class code I came across this:

 // Redirect to target
 redirect(proxifyURL($url, 'norefer'));

What the heck is that? And php does not seem to be throwing an error.

I tried looking it up by going to php.net/redirect but it shows me the header function that I usually use, not this redirect() !!??

Can someone explain this to me please?

---

It's probably a user-defined function. This means that the function isn't present in standard PHP, but that the author of the code you read made it himself.

---

He probably defined a new function that looks something like this

function redirect($to)
{
    header("Location: $to");
    die();
}