File php-CVE-2016-9935.patch of Package php7.5285

Index: php-7.0.7/ext/wddx/wddx.c
===================================================================
--- php-7.0.7.orig/ext/wddx/wddx.c	2016-12-14 13:11:10.303426648 +0100
+++ php-7.0.7/ext/wddx/wddx.c	2016-12-14 13:12:06.688929787 +0100
@@ -767,6 +767,11 @@ static void php_wddx_push_element(void *
 				php_wddx_process_data(user_data, atts[i+1], strlen((char *)atts[i+1]));
 				break;
 			}
+                } else {        
+                        ent.type = ST_BOOLEAN;
+                        SET_STACK_VARNAME;
+                        ZVAL_FALSE(&ent.data);
+                        wddx_stack_push((wddx_stack *)stack, &ent, sizeof(st_entry));
 		}
 	} else if (!strcmp((char *)name, EL_NULL)) {
 		ent.type = ST_NULL;