diff --git a/resources/www/index.php b/resources/www/index.php new file mode 100644 index 0000000000..6cfa7a3b63 --- /dev/null +++ b/resources/www/index.php @@ -0,0 +1,30 @@ +. + */ + +$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); +} + +?> + + + Phabricator + + +

Phabricator

+ + +