Remove unnecessary ENT_HTML5 constant, which broke PHP 5.3 compatibility