]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.1'
authorDmitry Stogov <dmitry@zend.com>
Tue, 22 Nov 2016 09:07:06 +0000 (12:07 +0300)
committerDmitry Stogov <dmitry@zend.com>
Tue, 22 Nov 2016 09:07:06 +0000 (12:07 +0300)
commite5fce5119641e568d2d4581569522c682d51b4b3
treec2ff7509671898b8baed7dd4e025a706a529df1f
parent653c9e1fa204b83db3f10444f4c7c9aef1c6f882
parent4495ea47404fc0402ac4be7e4b7c9cde28df30ec
Merge branch 'PHP-7.1'

* PHP-7.1:
  Micro-optimization
Zend/zend_vm_def.h
Zend/zend_vm_execute.h