php_filter_encode_html  199 ext/filter/sanitizing_filters.c 	php_filter_encode_html(value, enc);
php_filter_encode_html  240 ext/filter/sanitizing_filters.c 	php_filter_encode_html(value, enc);	
php_filter_encode_html  263 ext/filter/sanitizing_filters.c 		php_filter_encode_html(value, enc);