php: redirect()？

Question

这不是一个解决方案的请求，而仅仅是为了澄清一些事情。

在php中执行重定向时，我使用header()

但在浏览别人的类代码时，我遇到了这样的情况：

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

那是什么玩意？而且php似乎并没有抛出错误。

我尝试通过转到php.net/redirect来查找它，但它显示了我通常使用的头函数，而不是这个redirect() !!?？

有人能给我解释一下吗？

Answer 1

它可能是一个用户定义的函数。这意味着该函数不存在于标准PHP中，而是您所阅读的代码的作者自己创建的。

Answer 2

他可能定义了一个新函数，如下所示

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