use DateTime::getTimestamp() as argument to IntlDateFormatter::format() for PHP installation consistency