Merge branch 'PHP-7.2' into PHP-7.3

author Joe Watkins <krakjoe@php.net>

Mon, 21 Oct 2019 07:22:32 +0000 (09:22 +0200)

committer Joe Watkins <krakjoe@php.net>

Mon, 21 Oct 2019 07:23:26 +0000 (09:23 +0200)
author Joe Watkins <krakjoe@php.net>
Mon, 21 Oct 2019 07:22:32 +0000 (09:22 +0200)
committer Joe Watkins <krakjoe@php.net>
Mon, 21 Oct 2019 07:23:26 +0000 (09:23 +0200)
diff --cc NEWS
Simple merge
diff --cc ext/reflection/php_reflection.c
Simple merge
author	Joe Watkins <krakjoe@php.net>
	Mon, 21 Oct 2019 07:22:32 +0000 (09:22 +0200)
committer	Joe Watkins <krakjoe@php.net>
	Mon, 21 Oct 2019 07:23:26 +0000 (09:23 +0200)
		1	2
NEWS	patch \|	diff1 \|	diff2 \|	blob \| history
ext/reflection/php_reflection.c	patch \|	diff1 \|	diff2 \|	blob \| history