Hi!

> I can't speak for others, but for me, it's simply because there's no
> reason to do it (remove it), while there may/might be a reason to
> keep it going forward.  Keeping it comes at zero cost, and if we ever

Same here. I just don't see what is improved by this removal. To me,
it's just disruption (admittedly to a small code base, but still)
without any upside.

-- 
Stas Malyshev
smalys...@gmail.com

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to