diff options
author | Dmitry Stogov <dmitry@zend.com> | 2020-11-30 13:58:34 +0300 |
---|---|---|
committer | Dmitry Stogov <dmitry@zend.com> | 2020-11-30 13:58:34 +0300 |
commit | d5a82e2c4eebe8337ff7790db46d812af2fbcec9 (patch) | |
tree | 0e55172bfbde4e27b4a5d76d50c9f6ac009e4df0 /main/php_streams.h | |
parent | 15073d8e1da5f7c140acbed0bee0c09439a1cfac (diff) | |
download | php-git-d5a82e2c4eebe8337ff7790db46d812af2fbcec9.tar.gz |
Disable JIT with incompatible third-party extensions
Diffstat (limited to 'main/php_streams.h')
0 files changed, 0 insertions, 0 deletions