php_info_print_style  801 ext/standard/info.c 	php_info_print_style();
php_info_print_style   71 ext/standard/info.h PHPAPI void php_info_print_style(void);