Merge branch 'PHP-7.0' into PHP-7.1
authorAnatol Belski <ab@php.net>
Tue, 17 Jul 2018 09:58:43 +0000 (11:58 +0200)
committerAnatol Belski <ab@php.net>
Tue, 17 Jul 2018 09:58:43 +0000 (11:58 +0200)
* PHP-7.0:
  [ci skip] Update NEWS


Trivial merge