我尝试使用IntlDateFormatter类来格式化本地时间，但它给出错误PHP Fatal error: Uncaught Error: Class "IntlDateFormatter" not found。我尝试通过取消php.ini中extension=intl的注解来解决它。所以它不起作用。我的PHP版本是8.1.6。以下是代码：

<?php

date_default_timezone_set('Europe/Madrid');
$script_tz = date_default_timezone_get();
$currentDay = date('D');   //$d = date(‘D’);
$formatter = new IntlDateFormatter('es_ES', IntlDateFormatter::FULL, IntlDateFormatter::NONE, 'Europe/Madrid', IntlDateFormatter::GREGORIAN);
$data1 = $formatter->format(time());


if(date('D') === 'Wed' && date('G') >= 14 && date('G') < 24){
    $content = "<h2><b>Estrazioni del Lotto e del Superenalotto di oggi ".$data1." in diretta: chi vincerà</b></h2>";
    echo $content;
}
    $data = array(
        //'post_content' => $leadContent,
    );
?>