File php-CVE-2016-9935.patch of Package php5.14673

Index: php-5.6.1/ext/wddx/wddx.c
===================================================================
--- php-5.6.1.orig/ext/wddx/wddx.c	2016-12-14 13:16:05.651301241 +0100
+++ php-5.6.1/ext/wddx/wddx.c	2016-12-14 13:16:49.544471680 +0100
@@ -812,6 +812,11 @@ static void php_wddx_push_element(void *
 				php_wddx_process_data(user_data, atts[i+1], strlen(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(name, EL_NULL)) {
 		ent.type = ST_NULL;