highlight_html     90 Zend/zend_highlight.c 	char *last_color = syntax_highlighter_ini->highlight_html;
highlight_html    100 Zend/zend_highlight.c 				next_color = syntax_highlighter_ini->highlight_html;
highlight_html    139 Zend/zend_highlight.c 			if (last_color != syntax_highlighter_ini->highlight_html) {
highlight_html    143 Zend/zend_highlight.c 			if (last_color != syntax_highlighter_ini->highlight_html) {
highlight_html    167 Zend/zend_highlight.c 	if (last_color != syntax_highlighter_ini->highlight_html) {
highlight_html     33 Zend/zend_highlight.h 	char *highlight_html;
highlight_html   5113 ext/standard/basic_functions.c 	syntax_highlighter_ini->highlight_html    = INI_STR("highlight.html");