Merge branch 'PHP-7.2'

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

Mon, 2 Jul 2018 16:57:31 +0000 (18:57 +0200)

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

Mon, 2 Jul 2018 16:58:01 +0000 (18:58 +0200)
author Nikita Popov <nikita.ppv@gmail.com>
Mon, 2 Jul 2018 16:57:31 +0000 (18:57 +0200)
committer Nikita Popov <nikita.ppv@gmail.com>
Mon, 2 Jul 2018 16:58:01 +0000 (18:58 +0200)
diff --cc NEWS
Simple merge
diff --cc ext/reflection/php_reflection.c
Simple merge
author	Nikita Popov <nikita.ppv@gmail.com>
	Mon, 2 Jul 2018 16:57:31 +0000 (18:57 +0200)
committer	Nikita Popov <nikita.ppv@gmail.com>
	Mon, 2 Jul 2018 16:58:01 +0000 (18:58 +0200)
		1	2
NEWS	patch \|	diff1 \|	diff2 \|	blob \| history
ext/reflection/php_reflection.c	patch \|	diff1 \|	diff2 \|	blob \| history