Merge branch 'PHP-7.1' into PHP-7.2

author Dmitry Stogov <dmitry@zend.com>

Mon, 5 Mar 2018 20:33:53 +0000 (23:33 +0300)

committer Dmitry Stogov <dmitry@zend.com>

Mon, 5 Mar 2018 20:33:53 +0000 (23:33 +0300)
author Dmitry Stogov <dmitry@zend.com>
Mon, 5 Mar 2018 20:33:53 +0000 (23:33 +0300)
committer Dmitry Stogov <dmitry@zend.com>
Mon, 5 Mar 2018 20:33:53 +0000 (23:33 +0300)
diff --cc ext/opcache/zend_accelerator_util_funcs.c
Simple merge
author	Dmitry Stogov <dmitry@zend.com>
	Mon, 5 Mar 2018 20:33:53 +0000 (23:33 +0300)
committer	Dmitry Stogov <dmitry@zend.com>
	Mon, 5 Mar 2018 20:33:53 +0000 (23:33 +0300)