Merge branch 'master' of git.php.net:php-src

* 'master' of git.php.net:php-src:
  Backport 7ff13badda into 7.0+
This commit is contained in:
Dmitry Stogov 2017-10-18 18:27:21 +03:00
commit 8b87b35564

Diff Content Not Available