From 684506c4c861e78847721fde432af8be953f0b49 Mon Sep 17 00:00:00 2001
From: Pierre Joye <pierre.php@gmail.com>
Date: Thu, 15 May 2014 10:36:09 +0200
Subject: [PATCH] fix ts build

---
 ext/wddx/wddx.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ext/wddx/wddx.c b/ext/wddx/wddx.c
index 8b46910152..3b4357ae36 100644
--- a/ext/wddx/wddx.c
+++ b/ext/wddx/wddx.c
@@ -708,7 +708,7 @@ static void php_wddx_push_element(void *user_data, const XML_Char *name, const X
 {
 	st_entry ent;
 	wddx_stack *stack = (wddx_stack *)user_data;
-	
+	TSRMLS_FETCH();
 	if (!strcmp((char *)name, EL_PACKET)) {
 		int i;
 		
-- 
2.40.0