mirror of
https://github.com/php/php-src.git
synced 2026-03-24 16:22:37 +01:00
c72d6da461
- TIMELIB_OMIT_STDINT is not used anymore since
a171f99cf0
- HAVE_GETTIMEOFDAY was defined multiple times in Windows headers
- ext/date/lib/timelib_config.h.win32 does not seem to be used
Closes GH-4400
timelib ======= Timelib is a timezone and date/time library that can calculate local time, convert between timezones and parse textual descriptions of date/time information. It is the library supporting PHP's Date/Time extension and MongoDB's time zone support.