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