Wrap the release manager's GPG keys into an auto-loadable helper.

Author: markrandall

downloads.php

@@ -1,7 +1,9 @@
 <?php
+
+use phpweb\Releases\RMs\ReleaseManagers;
+
 $_SERVER['BASE_PAGE'] = 'downloads.php';
 include_once __DIR__ . '/include/prepend.inc';
-include_once __DIR__ . '/include/gpg-keys.inc';
 include_once __DIR__ . '/include/version.inc';
 
 // Try to make this page non-cached
@@ -200,7 +202,7 @@ function option(string $value, string $desc, $attributes = []): string
 to verify the tags:
 </p>
 
-<?php gpg_key_show_keys(true /* activeOnly */); ?>
+<?php ReleaseManagers::showKeys(activeOnly: true); ?>
 
 <p>
     <a href="gpg-keys.php">

gpg-keys.php

@@ -1,7 +1,9 @@
 <?php
+
+use phpweb\Releases\RMs\ReleaseManagers;
+
 $_SERVER['BASE_PAGE'] = 'gpg-keys.php';
 include_once __DIR__ . '/include/prepend.inc';
-include_once __DIR__ . '/include/gpg-keys.inc';
 
 site_header('GPG Keys');
 ?>
@@ -14,7 +16,7 @@
   verify these tags:
 </p>
 
-<?php gpg_key_show_keys(false /* activeOnly */); ?>
+<?php ReleaseManagers::showKeys(activeOnly: false); ?>
 
 <h3 id="keyring" class="content-header">Keyring</h3>