Merge branch 'PHP-7.2' into PHP-7.3

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

Mon, 28 Oct 2019 12:08:06 +0000 (13:08 +0100)

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

Mon, 28 Oct 2019 12:08:34 +0000 (13:08 +0100)
author Christoph M. Becker <cmbecker69@gmx.de>
Mon, 28 Oct 2019 12:08:06 +0000 (13:08 +0100)
committer Christoph M. Becker <cmbecker69@gmx.de>
Mon, 28 Oct 2019 12:08:34 +0000 (13:08 +0100)
diff --cc NEWS
Simple merge
diff --cc ext/date/php_date.c
Simple merge
author	Christoph M. Becker <cmbecker69@gmx.de>
	Mon, 28 Oct 2019 12:08:06 +0000 (13:08 +0100)
committer	Christoph M. Becker <cmbecker69@gmx.de>
	Mon, 28 Oct 2019 12:08:34 +0000 (13:08 +0100)
		1	2
NEWS	patch \|	diff1 \|	diff2 \|	blob \| history
ext/date/php_date.c	patch \|	diff1 \|	diff2 \|	blob \| history