Merge branch 'PHP-7.4'

author Remi Collet <remi@php.net>

Thu, 24 Oct 2019 05:43:56 +0000 (07:43 +0200)

committer Remi Collet <remi@php.net>

Thu, 24 Oct 2019 05:43:56 +0000 (07:43 +0200)
author Remi Collet <remi@php.net>
Thu, 24 Oct 2019 05:43:56 +0000 (07:43 +0200)
committer Remi Collet <remi@php.net>
Thu, 24 Oct 2019 05:43:56 +0000 (07:43 +0200)
diff --cc php.ini-development
Simple merge
diff --cc php.ini-production
Simple merge
author	Remi Collet <remi@php.net>
	Thu, 24 Oct 2019 05:43:56 +0000 (07:43 +0200)
committer	Remi Collet <remi@php.net>
	Thu, 24 Oct 2019 05:43:56 +0000 (07:43 +0200)
		1	2
php.ini-development	patch \|	diff1 \|	diff2 \|	blob \| history
php.ini-production	patch \|	diff1 \|	diff2 \|	blob \| history