PHPで任意のページへリダイレクトする- header関数

PHPでリダイレクトする方法について説明します。
リダイレクトする場合は以下の記述をおこないます。

<?php
  header("HTTP/1.1 301 Moved Permanently");
  header("Location: http://example.com/");
  exit;
?>