diff options
Diffstat (limited to 'www/php72-opcache/files/patch-zend__file__cache.c')
| -rw-r--r-- | www/php72-opcache/files/patch-zend__file__cache.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/www/php72-opcache/files/patch-zend__file__cache.c b/www/php72-opcache/files/patch-zend__file__cache.c new file mode 100644 index 000000000000..937290216eef --- /dev/null +++ b/www/php72-opcache/files/patch-zend__file__cache.c @@ -0,0 +1,14 @@ +--- zend_file_cache.c.orig 2017-07-05 13:48:27 UTC ++++ zend_file_cache.c +@@ -24,9 +24,10 @@ + + #include "php.h" + ++#include "ZendAccelerator.h" ++ + #ifdef HAVE_OPCACHE_FILE_CACHE + +-#include "ZendAccelerator.h" + #include "zend_file_cache.h" + #include "zend_shared_alloc.h" + #include "zend_accelerator_util_funcs.h" |