[PHP-WEBMASTER] [web-php] master: Fix source code display (#1492)

Author: Luffy (sy-records)
Committer: GitHub (web-flow)
Pusher: sy-records
Date: 2025-10-09T10:38:44+08:00

Commit: Fix source code display (#1492) · php/web-php@c2ec90f · GitHub
Raw diff: https://github.com/php/web-php/commit/c2ec90f82b46ffa7e164cb2ccecb0c1ef00a25c3.diff

Fix source code display (#1492)

Changed paths:
  M downloads.php

Diff:

diff --git a/downloads.php b/downloads.php
index 4548c745a3..65993ce5f1 100644
--- a/downloads.php
+++ b/downloads.php
@@ -211,8 +211,6 @@ function option(string $value, string $desc, $attributes = ): string
<h2>Instructions</h2>
<div id="instructions" class="instructions">
<?php $instructionsShown = include 'downloads-get-instructions.php'; ?>
-</div>
-
<?php if (!$instructionsShown): ?>

<h2>Source Code</h2>
@@ -229,10 +227,10 @@ function option(string $value, string $desc, $attributes = ): string
<?php gpg_key_show_keys(true /* activeOnly */); ?>

<p>
- <a href="gpg-keys.php">
- A full list of GPG keys used for current and older releases is also
- available.
- </a>
+ <a href="gpg-keys.php">
+ A full list of GPG keys used for current and older releases is also
+ available.
+ </a>
</p>

<h2>Binaries</h2>
@@ -254,6 +252,7 @@ function option(string $value, string $desc, $attributes = ): string
</p>

<?php endif; ?>
+</div>

     <script>
         let currentController = null;