[git] web/master.git branch master updated. 85b8c1b40d57df5b9abc5a9e85bba8123f9543bf

The branch, master on web/master.git has been updated via 85b8c1b40d57df5b9abc5a9e85bba8123f9543bf (commit) from aaea42a2b3752757d83ffc1adbec0a9927a26b9f (commit) Summary of changes: scripts/update-backend | 6 +++--- scripts/update-user-notes | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) -- Log ---------------------------------------- commit 85b8c1b40d57df5b9abc5a9e85bba8123f9543bf Author: Rasmus Lerdorf <rasmus@php.net> Date: Sat Jan 21 18:46:55 2012 -0800 These should be https now diff --git a/scripts/update-backend b/scripts/update-backend index 0c5f1f9..839bd56 100755 --- a/scripts/update-backend +++ b/scripts/update-backend @@ -17,16 +17,16 @@ $root = $argv[1]; set_time_limit(30 * 60); // Get list of mirror sites -fetch_into_file("http://master.php.net/fetch/mirrors.php?token=$token", +fetch_into_file("https://master.php.net/fetch/mirrors.php?token=$token", "$root/include/mirrors.inc"); // Get list of countries -fetch_into_file("http://master.php.net/fetch/countries.php?token=$token", +fetch_into_file("https://master.php.net/fetch/countries.php?token=$token", "$root/include/countries.inc"); // Get list of upcoming events -fetch_into_file("http://master.php.net/fetch/events.php?token=$token", +fetch_into_file("https://master.php.net/fetch/events.php?token=$token", "$root/backend/events.csv"); // Pregenerate event listing sidebar for homepage diff --git a/scripts/update-user-notes b/scripts/update-user-notes index 6559f16..ef90da3 100755 --- a/scripts/update-user-notes +++ b/scripts/update-user-notes @@ -22,7 +22,7 @@ $since = $argv[2]; /* get user notes */ $fp = @fopen( - "http://master.php.net/fetch/user-notes.php?token=$token".($since?"&since=$since":""), + "https://master.php.net/fetch/user-notes.php?token=$token".($since?"&since=$since":""), "r" ); if (!$fp) { Thank you for your contribution.