xref: /web-php/gpg-keys.php (revision 00342c40) 
1<?php
2$_SERVER['BASE_PAGE'] = 'gpg-keys.php';
3include_once __DIR__ . '/include/prepend.inc';
4include_once __DIR__ . '/include/gpg-keys.inc';
5
6site_header('GPG Keys');
7?>
8
9<h1>GPG Keys</h1>
10
11<p>
12  Starting in April 2012, PHP release tags have been signed in Git by the
13  release managers for each branch. The following GnuPG keys can be used to
14  verify these tags:
15</p>
16
17<?php gpg_key_show_keys(false /* activeOnly */); ?>
18
19<h3 id="keyring" class="content-header">Keyring</h3>
20
21<p>
22  You can download the keyring with all Release Manager public keys:
23  <?php download_link('php-keyring.gpg', 'php-keyring.gpg'); ?>
24</p>
25
26<?php
27site_footer();
28