Существует ли функция PHP для преобразования именованных объектов HTML в соответствующие им числовые объекты HTML?
Например:
$str = "Oggi è un bel giorno";
echo entities_to_unicode($str); // Oggi è un bel giorno
Заранее спасибо, хорошего дня!