Do some justice to the doc team

diff --git a/ext/standard/credits.c b/ext/standard/credits.c
index 5eed0363634ec32d7d9a0391fc115c93df9b91f4..7ba3c801ee5a9d4d54ee7e9b1faeb80881655046 100644 (file)
--- a/ext/standard/credits.c
+++ b/ext/standard/credits.c
@@ -89,7 +89,7 @@ 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, Zeev Suraski, Lars Torben Wilson, Jim Winstead");
+               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_end();
        }