[web-php] master: Fix GPG keys link to use the current request URI (#1390)
| From: | Luffy via GitHub | Date: | Sun, 07 Sep 2025 04:09:05 +0000 |
| Subject: | [web-php] master: Fix GPG keys link to use the current request URI (#1390) | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-33167@lists.php.net to get a copy of this message | ||
Author: Luffy (sy-records)
Committer: GitHub (web-flow)
Pusher: sy-records
Date: 2025-09-07T12:09:02+08:00
Commit: https://github.com/php/web-php/commit/34cb9a75b33f824d489ec2a58ec714aca1c5a6fa
Raw diff: https://github.com/php/web-php/commit/34cb9a75b33f824d489ec2a58ec714aca1c5a6fa.diff
Fix GPG keys link to use the current request URI (#1390)
Changed paths:
M include/version.inc
Diff:
diff --git a/include/version.inc b/include/version.inc
index 20687b370b..bcc8949930 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -153,7 +153,7 @@ function show_source_releases()
</li>
</ul>
- <a href="#gpg-<?php echo $mver; ?>">GPG Keys for PHP <?php
echo $mver; ?></a>
+ <a href="<?php echo $_SERVER['REQUEST_URI']; ?>#gpg-<?php
echo $mver; ?>">GPG Keys for PHP <?php echo $mver; ?></a>
</div>
<?php endforeach; ?>
<?php endforeach; /* major releases loop end */ ?>