From d89cf4ec47214e5d2494ced23a732a8861695360 Mon Sep 17 00:00:00 2001
From: Adam Harvey <aharvey@php.net>
Date: Wed, 2 Jul 2014 18:17:31 -0700
Subject: [PATCH] Attempt to fix the php.net cross-domain issues once and for
 all.

(But this is a terrible hac...)

ONCE AND FOR ALL.
---
 include/site.inc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/include/site.inc b/include/site.inc
index 508fd6297..affa89d3b 100644
--- a/include/site.inc
+++ b/include/site.inc
@@ -515,6 +515,10 @@ if($_SERVER["SERVER_PORT"] != '80' && $_SERVER["SERVER_PORT"] != 443) {
     $msite  =      'http://' . $_SERVER["SERVER_NAME"] . '/';
 }
 
+// This is a horrendous hack that should be removed at some point, but we need
+// to avoid cross-domain issues where php.net is configured as www.php.net.
+$MIRRORS['http://php.net/'] = $MIRRORS['http://www.php.net/'];
+
 // If this site does not exist - it is most likely because
 // CC.php.net isn't in this array anymore.
 if (!isset($MIRRORS[$MYSITE])) {