php_print_credits   40 standard/credits.h PHPAPI void php_print_credits(int flag TSRMLS_DC);
php_print_credits 1189 standard/info.c 	php_print_credits(flag TSRMLS_CC);