Merge branch 'PHP-7.3' into PHP-7.4

author Christoph M. Becker <cmbecker69@gmx.de>

Fri, 31 Jul 2020 08:56:29 +0000 (10:56 +0200)

committer Christoph M. Becker <cmbecker69@gmx.de>

Fri, 31 Jul 2020 08:57:02 +0000 (10:57 +0200)
author Christoph M. Becker <cmbecker69@gmx.de>
Fri, 31 Jul 2020 08:56:29 +0000 (10:56 +0200)
committer Christoph M. Becker <cmbecker69@gmx.de>
Fri, 31 Jul 2020 08:57:02 +0000 (10:57 +0200)
diff --cc NEWS
Simple merge
diff --cc Zend/zend_builtin_functions.c
Simple merge
author	Christoph M. Becker <cmbecker69@gmx.de>
	Fri, 31 Jul 2020 08:56:29 +0000 (10:56 +0200)
committer	Christoph M. Becker <cmbecker69@gmx.de>
	Fri, 31 Jul 2020 08:57:02 +0000 (10:57 +0200)
		1	2
NEWS	patch \|	diff1 \|	diff2 \|	blob \| history
Zend/zend_builtin_functions.c	patch \|	diff1 \|	diff2 \|	blob \| history