diff options
| author | Dmitry Stogov <dmitry@zend.com> | 2019-10-23 19:54:52 +0300 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@zend.com> | 2019-10-23 19:54:52 +0300 |
| commit | aacea14359e6f75a2ae698285392ba4af71a12f1 (patch) | |
| tree | 37bda9f6c4546f1b09f8c2b30aeeadaccc7b89ef /php.ini-development | |
| parent | 62fcb11cbd2da13496509bd136c7618289353fcd (diff) | |
| parent | c744531fff9ee03c027ca3c18b21f3382023ff7e (diff) | |
| download | php-git-aacea14359e6f75a2ae698285392ba4af71a12f1.tar.gz | |
Merge branch 'PHP-7.4'
* PHP-7.4:
Ignore ZEND_FFI_TYPE_OWNED flag
Diffstat (limited to 'php.ini-development')
0 files changed, 0 insertions, 0 deletions