Fix socket_set_timeout on win32 ( was not being included )

diff --git a/ext/standard/basic_functions.c b/ext/standard/basic_functions.c
index 40889ae99ddf2278f69ddcd3b0e22b9421f3739b..d517d44053186b8ed2bd333a4a4de817a13b910f 100644 (file)
--- a/ext/standard/basic_functions.c
+++ b/ext/standard/basic_functions.c
@@ -626,7 +626,7 @@ function_entry basic_functions[] = {
        PHP_FALIAS(fopenstream, warn_not_available,                                                             NULL)
 #endif
 
-#if HAVE_SYS_TIME_H
+#if HAVE_SYS_TIME_H || defined(PHP_WIN32)
        PHP_FE(socket_set_timeout,                                                                                              NULL)
 #else
        PHP_FALIAS(socket_set_timeout, warn_not_available,                                              NULL)

diff --git a/ext/standard/file.c b/ext/standard/file.c
index 8bbb87edc55659b78ba8b93b09533db6017bd707..0a8728c03852becf1bdc3684226b9cb14ef033a2 100644 (file)
--- a/ext/standard/file.c
+++ b/ext/standard/file.c
@@ -878,7 +878,7 @@ PHP_FUNCTION(set_socket_blocking)
    Set timeout on socket read to seconds + microseonds */
 PHP_FUNCTION(socket_set_timeout)
 {
-#if HAVE_SYS_TIME_H
+#if HAVE_SYS_TIME_H || defined(PHP_WIN32)
        zval **socket, **seconds, **microseconds;
        int type;
        void *what;