как сделать редирект на сайте

if ($_SERVER[‘SERVER_NAME’] != «АДРЕС_НОВОГО_САЙТА») {
$url = «АДРЕС_НОВОГО_САЙТА»;
header(‘Location:’ . $url);
}