fix gettimeofday proto availability

(cherry picked from commit 79f7d174d07dee4dde1f8eddaba6c741b26edeb3)

diff --git a/ext/date/php_date.c b/ext/date/php_date.c
index aed0dc94b23419e72cabdbd6db3974d1ae44dd05..67805c1f023cea9528602a8b3b78f83d7cb2ee1a 100644 (file)
--- a/ext/date/php_date.c
+++ b/ext/date/php_date.c
@@ -29,7 +29,11 @@
 #include "php_date.h"
 #include "zend_interfaces.h"
 #include "lib/timelib.h"
+#ifndef PHP_WIN32
 #include <time.h>
+#else
+#include "win32/time.h"
+#endif
 
 #ifdef PHP_WIN32
 static __inline __int64 php_date_llabs( __int64 i ) { return i >= 0? i: -i; }