zend_html_puts    118 Zend/zend_highlight.c 				zend_html_puts((char*)LANG_SCNG(yy_text), LANG_SCNG(yy_leng) TSRMLS_CC);  /* no color needed */
zend_html_puts    141 Zend/zend_highlight.c 		zend_html_puts((char*)LANG_SCNG(yy_text), LANG_SCNG(yy_leng) TSRMLS_CC);
zend_html_puts    804 ext/standard/info.c 			zend_html_puts(zend_version, strlen(zend_version) TSRMLS_CC);
zend_html_puts    940 main/main.c    	zend_html_puts(str, size TSRMLS_CC);