On Wed, Sep 21, 2016 at 9:46 PM, Nikita Popov <nikita....@gmail.com> wrote:
> Here's a PR for the revert-to-7.0 + deprecate variant, in case we wish to > adopt it: https://github.com/php/php-src/pull/2137 > Pretty much the most sensible solution to all this, from my point of view. Avoiding overloading a string with more meaning seems like the correct way to go forward on this, making it die with 8.0. Marco Pivetta http://twitter.com/Ocramius http://ocramius.github.com/