diff --git a/include/shared-manual.inc b/include/shared-manual.inc index f14d63b7f..ff2eae90b 100644 --- a/include/shared-manual.inc +++ b/include/shared-manual.inc @@ -254,6 +254,28 @@ CONTRIBUTE; ]); } +function contributors($setup) { + if (!isset($_GET["contributors"]) + || !isset($setup["history"]["contributors"]) + || count($setup["history"]["contributors"]) < 1) { + return; + } + + $contributorList = "
  • " . implode("
  • ", $setup["history"]["contributors"]) . "
  • "; + + echo << +

    Output Buffering Control

    + The following have authored commits that contributed to this page: + + +CONTRIBUTORS; + manual_footer($setup); + exit; +} + function autogen(string $text, string $lang) { static $translations = [];