Update button for /releases/

Author: LamentXU123

releases/index.php

@@ -233,12 +233,20 @@ function mk_rel(int $major,
             if (!isset($src["filename"])) {
                 continue;
             }
-            printf('<li><a href="https://museum.php.net/php%d/%s">%s</a></li>',
+            printf('<li><a href="https://museum.php.net/php%d/%s">%s</a>',
                    $major, $src["filename"], $src["name"]);
+            if (isset($src['sha256'])) {
+                echo "<br>\n", sha256_html($src['sha256']);
+            }
+            echo "</li>\n";
         }
         foreach ($windows as $src) {
-            printf('<li><a href="https://museum.php.net/%s/%s">%s</a></li>',
+            printf('<li><a href="https://museum.php.net/%s/%s">%s</a>',
                    ($major == 5 ? "php5" : "win32"), $src["filename"], $src["name"]);
+            if (isset($src['sha256'])) {
+                echo "<br>\n", sha256_html($src['sha256']);
+            }
+            echo "</li>\n";
         }
     }