- Fixed bug #25166 (WDDX serializer handler missing in win32). (Jani)

main/config.w32.h

@@ -59,7 +59,7 @@
 #define HAVE_PCRE 1
 
 /* Enable / Disable SESSION extension (default: enabled) */
-#define HAVE_SESSION 1
+#define HAVE_PHP_SESSION 1
 
 /* Enable / Disable TOKENIZER extension (default: enabled) */
 #define HAVE_TOKENIZER 1

main/internal_functions_win32.c

@@ -68,7 +68,7 @@
 #if HAVE_UODBC
 #include "ext/odbc/php_odbc.h"
 #endif
-#if HAVE_SESSION
+#if HAVE_PHP_SESSION
 #include "ext/session/php_session.h"
 #endif
 #if HAVE_MBSTRING
@@ -126,7 +126,7 @@ zend_module_entry *php_builtin_extensions[] = {
 #if HAVE_PCRE || HAVE_BUNDLED_PCRE
 	,phpext_pcre_ptr
 #endif
-#if HAVE_SESSION
+#if HAVE_PHP_SESSION
 	,phpext_session_ptr
 #endif
 #if HAVE_TOKENIZER