Updated the documentation credits

diff --git a/ext/standard/credits.c b/ext/standard/credits.c
index eadfb4611c5e58cdbbe54e8ef232a7f0fd26f4d4..d2f4a0e364631c6f63db01762c1d52e4c1951159 100644 (file)
--- a/ext/standard/credits.c
+++ b/ext/standard/credits.c
@@ -105,9 +105,9 @@ PHPAPI void php_print_credits(int flag TSRMLS_DC) /* {{{ */
        if (flag & PHP_CREDITS_DOCS) {
                php_info_print_table_start();
                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("Authors", "Mehdi Achour, Friedhelm Betz, Antony Dovgal, Nuno Lopes, Hannes Magnusson, Georg Richter, Damien Seguy, Jakub Vrana");
                CREDIT_LINE("Editor", "Philip Olson");
-               CREDIT_LINE("User Note Maintainers", "Mehdi Achour, Friedhelm Betz, Vincent Gevers, Aidan Lister, Nuno Lopes, Tom Sommer");
+               CREDIT_LINE("User Note Maintainers", "Friedhelm Betz, Etienne Kneuss, Nuno Lopes, Hannes Magnusson, Felipe Pena, Maciek Sokolewicz");
                CREDIT_LINE("Other Contributors", "Previously active authors, editors and other contributors are listed in the manual.");
                php_info_print_table_end();
        }