On Mon, 10 Apr 2023 at 14:01, Ondřej Mirtes <ond...@mirtes.cz> wrote: > > I don’t like the proposed function names:
I think we're going to leave thinking about changing the names until the end of the discussion. They don't really matter, and it probably would be better to avoid clogging up the technical discussion with people's aesthetic beliefs. cheers Dan Ack -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
