From: Anatol Belski <ab@php.net>
Date: Mon, 17 Oct 2016 19:28:19 +0000 (+0200)
Subject: Merge branch 'PHP-7.1'
X-Git-Tag: php-7.2.0alpha1~1103
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=451f9aa00c6360902aba4245735002bd0fe74cb3;p=php

Merge branch 'PHP-7.1'

* PHP-7.1:
  sync NEWS
  Merge branch 'pull-request/1817'
  Merge branch 'pull-request/1816'
  Merge branch 'pull-request/1814'
  Merge branch 'pull-request/1808'
  Merge branch 'pull-request/1817'
  Merge branch 'pull-request/1816'
  Merge branch 'pull-request/1814'
  Merge branch 'pull-request/1808'
---

451f9aa00c6360902aba4245735002bd0fe74cb3