diff --git a/resources/www/index.php b/resources/www/index.php deleted file mode 100644 index d44a2f5e63..0000000000 --- a/resources/www/index.php +++ /dev/null @@ -1,218 +0,0 @@ -. - */ - -$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); -} - -?> - -
-- |
-
- Github
- ·
- Documentation
-
-
- Phabricator- |
- - | ||
- |
-
|
- - |