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

Reply via email to