. */ $path = $_REQUEST['__path__']; $host = $_SERVER['HTTP_HOST']; if ($host == 'secure.phabricator.com') { // If the user is requesting a secure.phabricator.com resource over HTTP, // redirect them to HTTPS. header('Location: https://secure.phabricator.com/'.$path); } ?>