[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: https://github.com/php/web-php/commit/c2ec90f82b46ffa7e164cb2ccecb0c1ef00a25c3 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;