From b02257864cab75e9bd2661037dd2f55909542831 Mon Sep 17 00:00:00 2001
From: Derick Rethans <github@derickrethans.nl>
Date: Mon, 25 Mar 2019 14:40:13 +0000
Subject: [PATCH] https://www.php.net is the canonical web site address now

This change is needed so that https://www.php.net/git-php.php does not end up
in a redirect loop.
---
 git-php.php      | 2 +-
 include/site.inc | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/git-php.php b/git-php.php
index d60d12038..828e79ad8 100644
--- a/git-php.php
+++ b/git-php.php
@@ -6,7 +6,7 @@ include_once $_SERVER['DOCUMENT_ROOT'] . '/include/posttohost.inc';
 
 // Force the account requests to php.net
 if (!is_primary_site()) {
-    header('Location: http://php.net/'.$_SERVER['BASE_PAGE']);
+    header('Location: https://www.php.net/'.$_SERVER['BASE_PAGE']);
     exit;
 }
 
diff --git a/include/site.inc b/include/site.inc
index 09e0fd288..d9e1eb866 100644
--- a/include/site.inc
+++ b/include/site.inc
@@ -22,7 +22,7 @@ function is_primary_site($site = FALSE)
 {
     global $MYSITE;
     if (!$site) { $site = $MYSITE; }
-    return ($site == "http://www.php.net/" || $site == "http://php.net/" );
+    return ($site == "https://www.php.net/" || $site == "https://php.net/" );
 }
 
 // Returns true if the current (or specified)