Update thanks.php to rely upon return value from require, not a global value.

Author: Mark Randall

include/historical_mirrors.inc

@@ -1,6 +1,6 @@
 <?php
 
-$historical_mirrors = [
+return [
     ["ARG", "ar2.php.net", "XMundo Hosting Solutions", "http://www.xmundo.net"],
     ["ARM", "am1.php.net", "ARMINCO Global Telecommunications", "http://www.arminco.com/"],
     ["AUS", "au1.php.net", "Melbourne IT Pty Ltd", "https://www.melbourneit.com.au/"],

thanks.php

@@ -1,7 +1,6 @@
 <?php
 $_SERVER['BASE_PAGE'] = 'thanks.php';
 include_once __DIR__ . '/include/prepend.inc';
-include_once __DIR__ . '/include/historical_mirrors.inc';
 site_header("Thanks", ["current" => "community"]);
 ?>
 
@@ -176,7 +175,9 @@
 <ul>
     <?php
     $last_country = '';
-    foreach ($historical_mirrors as $m) {
+
+    $mirrors = require __DIR__ . '/include/historical_mirrors.inc';
+    foreach ($mirrors as $m) {
         ?>
         <li><?php echo $COUNTRIES[$m[0]]; ?>: <a href='<?php echo $m[3]; ?>'><?php echo $m[2]; ?></a></li>
         <?php