From 0f11f856d066676d2becf1e88b75ce1e150f019f Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Wed, 18 Sep 2019 14:28:24 +0200 Subject: v0.1.3 --- sandbox-php74.patch | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 sandbox-php74.patch (limited to 'sandbox-php74.patch') diff --git a/sandbox-php74.patch b/sandbox-php74.patch deleted file mode 100644 index 323381b..0000000 --- a/sandbox-php74.patch +++ /dev/null @@ -1,23 +0,0 @@ -From c4b8428acca58387d80698d3428a53148ac72a7e Mon Sep 17 00:00:00 2001 -From: Remi Collet -Date: Fri, 6 Sep 2019 11:04:22 +0200 -Subject: [PATCH] fix for 7.4 - ---- - src/copy.c | 2 ++ - 1 file changed, 2 insertions(+) - -diff --git a/src/copy.c b/src/copy.c -index c0af965..e2f959b 100644 ---- a/src/copy.c -+++ b/src/copy.c -@@ -223,7 +223,9 @@ static inline zend_op* php_sandbox_copy_opcodes(zend_op_array *op_array, zval *l - case ZEND_JMP: - case ZEND_FAST_CALL: - case ZEND_DECLARE_ANON_CLASS: -+#if PHP_VERSION_ID < 70400 - case ZEND_DECLARE_ANON_INHERITED_CLASS: -+#endif - opline->op1.jmp_addr = ©[opline->op1.jmp_addr - op_array->opcodes]; - break; - -- cgit