Merge branch 'PHP-7.3'

author Dmitry Stogov <dmitry@zend.com>

Wed, 26 Dec 2018 10:10:02 +0000 (13:10 +0300)

committer Dmitry Stogov <dmitry@zend.com>

Wed, 26 Dec 2018 10:10:02 +0000 (13:10 +0300)
author Dmitry Stogov <dmitry@zend.com>
Wed, 26 Dec 2018 10:10:02 +0000 (13:10 +0300)
committer Dmitry Stogov <dmitry@zend.com>
Wed, 26 Dec 2018 10:10:02 +0000 (13:10 +0300)
diff --cc Zend/zend_execute.c
Simple merge
diff --cc Zend/zend_execute.h
Simple merge
author	Dmitry Stogov <dmitry@zend.com>
	Wed, 26 Dec 2018 10:10:02 +0000 (13:10 +0300)
committer	Dmitry Stogov <dmitry@zend.com>
	Wed, 26 Dec 2018 10:10:02 +0000 (13:10 +0300)
		1	2
Zend/zend_execute.c	patch \|	diff1 \|	diff2 \|	blob \| history
Zend/zend_execute.h	patch \|	diff1 \|	diff2 \|	blob \| history