function d(IntlDateFormatter $df)
{
    global $ts;
    echo $df->format($ts), "\n";
    var_dump($df->getCalendar(), $df->getCalendarObject()->getType(), $df->getCalendarObject()->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->getCalendarObject(9));
var_dump(datefmt_get_calendar_object($df, 9));
var_dump(datefmt_get_calendar_object($df, 9));
var_dump(datefmt_get_calendar_object(new stdclass()));
?>
==DONE==