From b6b79a8d90d622628557bcce2e190c79d6522b91 Mon Sep 17 00:00:00 2001 From: Zeev Suraski Date: Fri, 14 Apr 2000 18:22:43 +0000 Subject: [PATCH] Add the documentation team to the credits page --- ext/standard/info.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/ext/standard/info.c b/ext/standard/info.c index 086f82762e..a5f57c117f 100644 --- a/ext/standard/info.c +++ b/ext/standard/info.c @@ -404,7 +404,11 @@ void php_print_credits(int flag) } if (flag & PHP_CREDITS_DOCS) { - /* Documentation */ + php_info_print_table_start(); + php_info_print_table_header(1, "PHP Documentation Team"); + php_info_print_table_row(1, "Alexander Aulbach, Stig Bakken, Rasmus Lerdorf, Egon Scmid, Zeev Suraski, Lars Torben Wilson, Jim Winstead"); + php_info_print_table_row(1, "Edited by: Stig Bakken"); + php_info_print_table_end(); } if (flag & PHP_CREDITS_FULLPAGE) { -- 2.40.0