Код перенаправления PHP

Ниже используется функция header в PHP для перенаправления:

function redirect($url)
{
    header("Location: $url");
    exit();
}