From: Anatol Belski <ab@php.net>
Date: Thu, 13 Oct 2016 13:40:21 +0000 (+0200)
Subject: Merge branch 'PHP-7.0' into PHP-7.1
X-Git-Tag: php-7.2.0alpha1~1138^2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=1eac069db1c4896ee05c79c0e0f7e8f2ea70d38d;p=php

Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  missed piece for renaming
---

1eac069db1c4896ee05c79c0e0f7e8f2ea70d38d