Merge branch 'PHP-7.2' into PHP-7.3

author Anatol Belski <ab@php.net>

Fri, 31 May 2019 18:50:17 +0000 (20:50 +0200)

committer Anatol Belski <ab@php.net>

Fri, 31 May 2019 18:50:17 +0000 (20:50 +0200)
author Anatol Belski <ab@php.net>
Fri, 31 May 2019 18:50:17 +0000 (20:50 +0200)
committer Anatol Belski <ab@php.net>
Fri, 31 May 2019 18:50:17 +0000 (20:50 +0200)
diff --cc appveyor/build_task.bat
Simple merge
diff --cc appveyor/test_task.bat
Simple merge
author	Anatol Belski <ab@php.net>
	Fri, 31 May 2019 18:50:17 +0000 (20:50 +0200)
committer	Anatol Belski <ab@php.net>
	Fri, 31 May 2019 18:50:17 +0000 (20:50 +0200)
		1	2
appveyor/build_task.bat	patch \|	diff1 \|	diff2 \|	blob \| history
appveyor/test_task.bat	patch \|	diff1 \|	diff2 \|	blob \| history