Merge branch 'PHP-7.2' into PHP-7.3

author Nikita Popov <nikita.ppv@gmail.com>

Fri, 2 Nov 2018 13:30:23 +0000 (14:30 +0100)

committer Nikita Popov <nikita.ppv@gmail.com>

Fri, 2 Nov 2018 13:30:50 +0000 (14:30 +0100)
author Nikita Popov <nikita.ppv@gmail.com>
Fri, 2 Nov 2018 13:30:23 +0000 (14:30 +0100)
committer Nikita Popov <nikita.ppv@gmail.com>
Fri, 2 Nov 2018 13:30:50 +0000 (14:30 +0100)
diff --cc NEWS
Simple merge
diff --cc ext/opcache/Optimizer/sccp.c
Simple merge
author	Nikita Popov <nikita.ppv@gmail.com>
	Fri, 2 Nov 2018 13:30:23 +0000 (14:30 +0100)
committer	Nikita Popov <nikita.ppv@gmail.com>
	Fri, 2 Nov 2018 13:30:50 +0000 (14:30 +0100)
		1	2
NEWS	patch \|	diff1 \|	diff2 \|	blob \| history
ext/opcache/Optimizer/sccp.c	patch \|	diff1 \|	diff2 \|	blob \| history