diff options
| -rw-r--r-- | ext/wddx/wddx.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ext/wddx/wddx.c b/ext/wddx/wddx.c index 184103b2df..26d9d632f9 100644 --- a/ext/wddx/wddx.c +++ b/ext/wddx/wddx.c @@ -314,9 +314,11 @@ PHP_MINIT_FUNCTION(wddx) PHP_MINFO_FUNCTION(wddx) { php_info_print_table_start(); - php_info_print_table_header(2, "WDDX Support", "enabled" ); #if HAVE_PHP_SESSION + php_info_print_table_header(2, "WDDX Support", "enabled" ); php_info_print_table_row(2, "WDDX Session Serializer", "enabled" ); +#else + php_info_print_table_row(2, "WDDX Support", "enabled" ); #endif php_info_print_table_end(); } |