Compact PHP library for working with date/time in different formats & timezones