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 = [];