php_filter_encode_html  200 ext/filter/sanitizing_filters.c 	php_filter_encode_html(value, enc);
php_filter_encode_html  245 ext/filter/sanitizing_filters.c 	php_filter_encode_html(value, enc);	
php_filter_encode_html  287 ext/filter/sanitizing_filters.c 		php_filter_encode_html(value, enc);