mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
update documentation credits, mentioning that more contributors are listed in the manual
This commit is contained in:
parent
5a10841059
commit
15e14aeca5
1 changed files with 5 additions and 3 deletions
|
@ -85,9 +85,11 @@ PHPAPI void php_print_credits(int flag TSRMLS_DC)
|
|||
|
||||
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();
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue