fix: update museum.php.net links to https

Author: jordikroon

manual/php3.php

@@ -29,7 +29,7 @@
 </p>
 
 <p>
- See the <a href="http://museum.php.net/">PHP Museum</a> for downloads, and
+ See the <a href="https://museum.php.net/">PHP Museum</a> for downloads, and
  also read the <a href="http://php.net/history">history</a> for further
  information about PHP 3.
 </p>

releases/index.php

@@ -140,7 +140,7 @@
 </p>
 
 <div class="panel">
- <a href="http://museum.php.net/">PHP Museum</a>
+ <a href="https://museum.php.net/">PHP Museum</a>
 </div>
 
 <div class="panel">
@@ -237,11 +237,11 @@ function mk_rel(int $major,
             if (!isset($src["filename"])) {
                 continue;
             }
-            printf('<li><a href="http://museum.php.net/php%d/%s">%s</a></li>',
+            printf('<li><a href="https://museum.php.net/php%d/%s">%s</a></li>',
                    $major, $src["filename"], $src["name"]);
         }
         foreach ($windows as $src) {
-            printf('<li><a href="http://museum.php.net/%s/%s">%s</a></li>',
+            printf('<li><a href="https://museum.php.net/%s/%s">%s</a></li>',
                    ($major == 5 ? "php5" : "win32"), $src["filename"], $src["name"]);
         }
     }