[web-php] master: Restore the 'contributors' function, which is in use by the manual builds

Author: Derick Rethans (derickr) Date: 2026-01-13T13:59:15Z Commit: https://github.com/php/web-php/commit/4788a141ec733dd37868a4975da99687647cb17f Raw diff: https://github.com/php/web-php/commit/4788a141ec733dd37868a4975da99687647cb17f.diff Restore the 'contributors' function, which is in use by the manual builds Changed paths: M include/shared-manual.inc Diff: diff --git a/include/shared-manual.inc b/include/shared-manual.inc index f14d63b7f1..ff2eae90b2 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 = "<li>" . implode("</li><li>", $setup["history"]["contributors"]) . "</li>"; + + echo <<<CONTRIBUTORS +<div class="book"> + <h1 class="title">Output Buffering Control</h1> + The following have authored commits that contributed to this page: + <ul> + $contributorList + </ul> +</div> +CONTRIBUTORS; + manual_footer($setup); + exit; +} + function autogen(string $text, string $lang) { static $translations = [];