On 3/11/2015 8:08 PM, Lester Caine wrote:
Personally I just want to keep the current name set and so the sheer volume of changes proposed is a big kick in the face to me.
YES!The time to make such a change to the names is about 1998 or maybe 2000. Every person who learns the current names is one more reason not to change them now!
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
