diff options
| author | Dmitry Stogov <dmitry@zend.com> | 2020-11-30 13:59:33 +0300 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@zend.com> | 2020-11-30 13:59:33 +0300 |
| commit | 034270d69af4ba4c1a813b18bd674d6704dab222 (patch) | |
| tree | 123e5bc22acbda51adcafb290c20e04c56c6db1e /main/php_streams.h | |
| parent | 48725d89aa537a5e29c10aadb337c12f3cb0bfb5 (diff) | |
| parent | d5a82e2c4eebe8337ff7790db46d812af2fbcec9 (diff) | |
| download | php-git-034270d69af4ba4c1a813b18bd674d6704dab222.tar.gz | |
Merge branch 'PHP-8.0'
* PHP-8.0:
Disable JIT with incompatible third-party extensions
Diffstat (limited to 'main/php_streams.h')
0 files changed, 0 insertions, 0 deletions