On 22/07/2020 13:00, Derick Rethans wrote:
I know we've voted twice on this already, but are we really sure that the @@ syntax is a good idea?
No, no we are not.We've already found one gaping hole in it, we will likely find more. Why knowingly back ourselves into a corner when there are perfectly good alternatives?
Mark Randall marand...@php.net -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
