PHPでリダイレクトする

生のHTTPヘッダを送信する

$header：ヘッダ文字列

header($header)

リダイレクトするにh Location: ヘッダを付与する。
当然ながら、リダイレクトさせると、その後にコードを記述していても実行されない。
しかしこれまた当然ながら、条件文ならば、条件に合わずリダイレクトされなければその後のコードは実行される。

header("Location: https://www.mysite.com/");