stdint will be included in the win32 variant, so don't do it twice

diff --git a/phpdbg.h b/phpdbg.h
index 8c0dbb4afa0a57f77337f48e39b4af9f0cb68fca..4147198b3dca50ffaa546155872de12079320795 100644 (file)
--- a/phpdbg.h
+++ b/phpdbg.h
@@ -29,8 +29,12 @@
 # define PHPDBG_API
 #endif
 
-#include <stdint.h>
-#include <stddef.h>
+#ifndef PHP_WIN32
+#      include <stdint.h>
+#      include <stddef.h>
+#else
+#      include "win32/php_stdint.h"
+#endif
 #include "php.h"
 #include "php_globals.h"
 #include "php_variables.h"
@@ -50,7 +54,6 @@
 #if defined(_WIN32) && !defined(__MINGW32__)
 #      include <windows.h>
 #      include "config.w32.h"
-#      include "win32/php_stdint.h"
 #      undef  strcasecmp
 #      undef  strncasecmp
 #      define strcasecmp _stricmp