php_print_credits   40 ext/standard/credits.h PHPAPI void php_print_credits(int flag);
php_print_credits 1054 ext/standard/info.c 		php_print_credits(PHP_CREDITS_ALL & ~PHP_CREDITS_FULLPAGE);
php_print_credits 1351 ext/standard/info.c 	php_print_credits((int)flag);