Check for ENT_HTML401 existance to make the patch work with PHP 5.3