1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Files
archived-web-php/gpg-keys.php
Remi Collet 18b6c8fa7d add title
2019-07-30 15:48:07 +02:00

36 lines
844 B
PHP

<?php // vim: et
$_SERVER['BASE_PAGE'] = 'gpg-keys.php';
include_once __DIR__ . '/include/prepend.inc';
include_once __DIR__ . '/include/gpg-keys.inc';
site_header('GPG Keys');
?>
<h1>GPG Keys</h1>
<p>
Starting in April 2012, PHP release tags have been signed in Git by the
release managers for each branch. The following GnuPG keys can be used to
verify these tags:
</p>
<?php foreach ($GPG_KEYS as $branch => $data): ?>
<h3 id="gpg-<?php echo $branch; ?>" class="content-header">PHP <?php echo $branch; ?></h3>
<div class="content-box">
<pre>
<?php echo $data; ?>
</pre>
</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'); ?>
</p>
<?php
site_footer();