diff options
Diffstat (limited to 'sandbox-php74.patch')
| -rw-r--r-- | sandbox-php74.patch | 23 |
1 files changed, 0 insertions, 23 deletions
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 <remi@remirepo.net> -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; - |