php_filter_encode_html  207 ext/filter/sanitizing_filters.c 	php_filter_encode_html(value, enc);
php_filter_encode_html  252 ext/filter/sanitizing_filters.c 	php_filter_encode_html(value, enc);
php_filter_encode_html  292 ext/filter/sanitizing_filters.c 		php_filter_encode_html(value, enc);