function d(IntlDateFormatter $df) { global $ts; echo $df->format($ts), "\n"; var_dump($df->getTimeZoneID(), $df->getTimeZone()->getID()); echo "\n"; }
<?php ini_set("intl.error_level", E_WARNING); ini_set("intl.default_locale", "pt_PT"); ini_set("date.timezone", 'Atlantic/Azores'); $df = new IntlDateFormatter(NULL, 0, 0); var_dump($df->getTimeZone(9)); var_dump(datefmt_get_timezone($df, 9)); var_dump(datefmt_get_timezone($df, 9)); var_dump(datefmt_get_timezone(new stdclass())); ?> ==DONE==