1 files changed, 38 insertions, 0 deletions
diff --git a/lang/php56/files/patch-Zend_zend_list.c b/lang/php56/files/patch-Zend_zend_list.c
new file mode 100644
index 000000000000..4275e78a40c8
--- /dev/null
+++ b/lang/php56/files/patch-Zend_zend_list.c
@@ -0,0 +1,38 @@
+--- Zend/zend_list.c.orig	2013-12-10 23:31:06.000000000 +0000
++++ Zend/zend_list.c	2013-12-13 21:50:25.016258358 +0000
+@@ -47,7 +47,7 @@ ZEND_API int zend_list_insert(void *ptr,
+ 	return index;
+ }
+ 
+-ZEND_API int _zend_list_delete(int id TSRMLS_DC)
++ZEND_API int _zend_list_delete(ulong id TSRMLS_DC)
+ {
+ 	zend_rsrc_list_entry *le;
+ 	
+@@ -64,7 +64,7 @@ ZEND_API int _zend_list_delete(int id TS
+ }
+ 
+ 
+-ZEND_API void *_zend_list_find(int id, int *type TSRMLS_DC)
++ZEND_API void *_zend_list_find(ulong id, int *type TSRMLS_DC)
+ {
+ 	zend_rsrc_list_entry *le;
+ 
+@@ -77,7 +77,7 @@ ZEND_API void *_zend_list_find(int id, i
+ 	}
+ }
+ 
+-ZEND_API int _zend_list_addref(int id TSRMLS_DC)
++ZEND_API int _zend_list_addref(ulong id TSRMLS_DC)
+ {
+ 	zend_rsrc_list_entry *le;
+ 	
+@@ -348,7 +348,7 @@ void zend_destroy_rsrc_list_dtors(void)
+ }
+ 
+ 
+-const char *zend_rsrc_list_get_rsrc_type(int resource TSRMLS_DC)
++const char *zend_rsrc_list_get_rsrc_type(ulong resource TSRMLS_DC)
+ {
+ 	zend_rsrc_list_dtors_entry *lde;
+ 	int rsrc_type;