Merge branch 'PHP-7.3' into PHP-7.4

author Remi Collet <remi@php.net>

Tue, 19 Mar 2019 15:28:10 +0000 (16:28 +0100)

committer Remi Collet <remi@php.net>

Tue, 19 Mar 2019 15:28:10 +0000 (16:28 +0100)
author Remi Collet <remi@php.net>
Tue, 19 Mar 2019 15:28:10 +0000 (16:28 +0100)
committer Remi Collet <remi@php.net>
Tue, 19 Mar 2019 15:28:10 +0000 (16:28 +0100)
diff --cc php.ini-development
Simple merge
diff --cc php.ini-production
Simple merge
author	Remi Collet <remi@php.net>
	Tue, 19 Mar 2019 15:28:10 +0000 (16:28 +0100)
committer	Remi Collet <remi@php.net>
	Tue, 19 Mar 2019 15:28:10 +0000 (16:28 +0100)
		1	2
php.ini-development	patch \|	diff1 \|	diff2 \|	blob \| history
php.ini-production	patch \|	diff1 \|	diff2 \|	blob \| history