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