com web/php: add download link for the public keyring: gpg-keys.php
| From: | Remi Collet | Date: | Tue, 30 Jul 2019 13:06:32 +0000 |
| Subject: | com web/php: add download link for the public keyring: gpg-keys.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-28258@lists.php.net to get a copy of this message | ||
Commit: 3fdaf37544fdb7dca4471a069fd04d3412e4ec79
Author: Remi Collet <remi@php.net> Tue, 30 Jul 2019 15:05:39 +0200
Parents: ebadb392e259e1e1f85034d5b4815be746c24f3a
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=3fdaf37544fdb7dca4471a069fd04d3412e4ec79
Log:
add download link for the public keyring
Changed paths:
M gpg-keys.php
Diff:
diff --git a/gpg-keys..php b/gpg-keys.php
index 9d75caf..a26ee72 100644
--- a/gpg-keys.php
+++ b/gpg-keys.php
@@ -24,5 +24,10 @@ site_header('GPG Keys');
</div>
<?php endforeach ?>
+<p>
+ You can download the keyring with all Release Manager public keys:
+ <?php download_link('php-keyring.gpg', 'php-keyring.gpg'); ?>
+</p>
+
<?php
site_footer();