Agreed. https://github.com/johnj/php-src/commit/905f7121fa664380c97f71ff9cbc4b6c04396374
- JJ On Thu, Oct 25, 2012 at 8:54 AM, Rasmus Lerdorf <ras...@lerdorf.com> wrote: > > I see no need for an RFC just to add a helpful notice here. Just do it. > > -Rasmus > -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
