]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.3'
authorNikita Popov <nikita.ppv@gmail.com>
Thu, 25 Oct 2018 14:44:54 +0000 (16:44 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Thu, 25 Oct 2018 14:44:54 +0000 (16:44 +0200)
1  2 
ext/opcache/Optimizer/zend_inference.c
ext/opcache/Optimizer/zend_optimizer.c