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



Reply via email to