Merge branch 'PHP-7.1'

author Yasuo Ohgaki <yohgaki@php.net>

Fri, 12 Aug 2016 03:31:45 +0000 (12:31 +0900)

committer Yasuo Ohgaki <yohgaki@php.net>

Fri, 12 Aug 2016 03:31:45 +0000 (12:31 +0900)
author Yasuo Ohgaki <yohgaki@php.net>
Fri, 12 Aug 2016 03:31:45 +0000 (12:31 +0900)
committer Yasuo Ohgaki <yohgaki@php.net>
Fri, 12 Aug 2016 03:31:45 +0000 (12:31 +0900)
diff --cc php.ini-development
Simple merge
diff --cc php.ini-production
Simple merge
author	Yasuo Ohgaki <yohgaki@php.net>
	Fri, 12 Aug 2016 03:31:45 +0000 (12:31 +0900)
committer	Yasuo Ohgaki <yohgaki@php.net>
	Fri, 12 Aug 2016 03:31:45 +0000 (12:31 +0900)
		1	2
php.ini-development	patch \|	diff1 \|	diff2 \|	blob \| history
php.ini-production	patch \|	diff1 \|	diff2 \|	blob \| history