Commit: 18b6c8fa7d1c20035c196779edf1a06b41fe0aa6 Author: Remi Collet <[email protected]> Tue, 30 Jul 2019 15:48:07 +0200 Parents: 55de4ecdac3f3f0b73332fa3602661b823e0e499 Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=18b6c8fa7d1c20035c196779edf1a06b41fe0aa6 Log: add title Changed paths: M gpg-keys.php Diff: diff --git a/gpg-keys.php b/gpg-keys.php index a26ee72..00a43ea 100644 --- a/gpg-keys.php +++ b/gpg-keys.php @@ -24,6 +24,8 @@ site_header('GPG Keys'); </div> <?php endforeach ?> +<h3 id="keyring" class="content-header">Keyring</h3> + <p> You can download the keyring with all Release Manager public keys: <?php download_link('php-keyring.gpg', 'php-keyring.gpg'); ?> -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
