Fix Win32 build.

diff --git a/ext/standard/html.c b/ext/standard/html.c
index fd3e0400e0e8d86ea82bd3a2f745eaa037336349..b2d69cbc463664e0656e1ee1fffe49aad3a56648 100644 (file)
--- a/ext/standard/html.c
+++ b/ext/standard/html.c
@@ -21,7 +21,11 @@
 /* $Id$ */
 
 #include "php.h"
+#if PHP_WIN32
+#include "config.w32.h"
+#else
 #include "php_config.h"
+#endif
 #include "reg.h"
 #include "html.h"
 #include "php_string.h"