Interfaces to PHP DateTime and DateTimeZone