PHP リダイレクトコード

以下は PHP の header 関数を使用してリダイレクトします：

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