devtools_html_entities
