function d(IntlDateFormatter $df) { global $ts; echo $df->format($ts), "\n"; var_dump($df->getTimeZoneID(), $df->getTimeZone()->getID()); echo "\n"; }