php - texto - ¿Qué hacen los modificadores ENT_HTML5, ENT_HTML401,… en html_entity_decode?