phpdoc credits - where to change?

Hi, The php documentation credits list is changing (actually expanding), giving more spotlight to people who are currently very active, and a bit less to people who helped good amounts in the past (also crediting more people who helped good amounts in the past :). That means a complete twist for the author & editor lists to contain actual information, plus the addition of a "user note maintainers" list (which is similar in size to the current author list). My question is what branches should I apply the changes to on php-src, once the lists are ready to be changed on the credits page? I already know it is in php-src/ext/standard/credits.c Thanks, Goba