diff --git a/ext/standard/datetime.c b/ext/standard/datetime.c index ed8eef6cfe1..11cd604e9bb 100644 --- a/ext/standard/datetime.c +++ b/ext/standard/datetime.c @@ -29,6 +29,9 @@ #include "php_globals.h" #include +#ifdef HAVE_SYS_TIME_H +# include +#endif #include char *mon_full_names[] =