From e9028753399c67ece1b81c94132da5635708fd7c Mon Sep 17 00:00:00 2001
From: vrana <jakubv@fb.com>
Date: Thu, 21 Jun 2012 10:48:34 -0700
Subject: [PATCH] Use official PHP mirror

---
 src/infrastructure/PhabricatorSetup.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/infrastructure/PhabricatorSetup.php b/src/infrastructure/PhabricatorSetup.php
index e3fe9d618b..43e7a1366d 100644
--- a/src/infrastructure/PhabricatorSetup.php
+++ b/src/infrastructure/PhabricatorSetup.php
@@ -369,7 +369,7 @@ final class PhabricatorSetup {
         "timezone. Either set 'date.timezone' in your php.ini or ".
         "'phabricator.timezone' in your Phabricator configuration. See the ".
         "PHP documentation for a list of supported timezones:\n\n".
-        "http://us.php.net/manual/en/timezones.php\n");
+        "http://www.php.net/manual/en/timezones.php\n");
       return;
     } else {
       self::write(" okay  Timezone '{$timezone}' configured.\n");