php_print_info_htmlhead   31 ext/standard/credits.c 		php_print_info_htmlhead();
php_print_info_htmlhead  828 ext/standard/info.c 		php_print_info_htmlhead();
php_print_info_htmlhead   68 ext/standard/info.h PHPAPI void php_print_info_htmlhead(void);