http to https in php

if ($_SERVER['SERVER_PORT']!=443)
{
$url = "https://". $_SERVER['SERVER_NAME'].$_SERVER['REQUEST_URI'];
header("Location: $url");
}