- Update credits for PHP docs

diff --git a/ext/standard/credits.c b/ext/standard/credits.c
index 9f3395d109f411c70ed586cc0957c86f5aa9646a..01adecca4f4edd2da15018f577f3c6565af8394c 100644 (file)
--- a/ext/standard/credits.c
+++ b/ext/standard/credits.c
@@ -87,9 +87,11 @@ PHPAPI void php_print_credits(int flag)
 
        if (flag & PHP_CREDITS_DOCS) {
                php_info_print_table_start();
-               php_info_print_table_header(1, "PHP Documentation Team");
-               php_info_print_table_row(1, "Jouni Ahto, Alexander Aulbach, Stig Bakken, Rasmus Lerdorf, Egon Schmid, Lars Torben Wilson, Jim Winstead");
-               php_info_print_table_row(1, "Edited by:  Stig Bakken and Egon Schmid");
+               php_info_print_table_colspan_header(2, "PHP Documentation");
+               CREDIT_LINE("Authors", "Mehdi Achour, Friedhelm Betz, Antony Dovgal, Nuno Lopes, Philip Olson, Georg Richter, Damien Seguy, Jakub Vrana");
+               CREDIT_LINE("Editor", "Gabor Hojtsy");
+               CREDIT_LINE("User Note Maintainers", "Mehdi Achour, Friedhelm Betz, Vincent Gevers, Aidan Lister, Nuno Lopes, Tom Sommer");
+               CREDIT_LINE("Other Contributors", "Previously active authors, editors and other contributors are listed in the manual.");
                php_info_print_table_end();
        }