diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-10-24 17:50:53 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-10-24 17:50:53 +0200 |
commit | 374cbfe568aef2053a19c98461dfe36d8623a567 (patch) | |
tree | 9ce082ae99e6a50cee275d952dcad69ee610f64f /Zend/zend_API.c | |
parent | 19bea48c9a752f9431d31bb8e3acbc28f728e798 (diff) | |
parent | c63a0e005abe4b00ab097dc47ca53d20788a6361 (diff) | |
download | php-git-374cbfe568aef2053a19c98461dfe36d8623a567.tar.gz |
Merge branch 'PHP-7.4'
* PHP-7.4:
Optimize instanceof_class/interface
Diffstat (limited to 'Zend/zend_API.c')
0 files changed, 0 insertions, 0 deletions