On 05.07.2017 at 18:47, Zeev Suraski wrote: >> On 5 Jul 2017, at 19:09, Lauri Kenttä <lauri.ken...@gmail.com> wrote:>>>> >> I'm just wondering if T_PAAMAYIM_NEKUDOTAYIM could finally be changed to T_DOUBLE_COLON in, say, PHP 8?> > I for one would love not repeating that discussion once over... I realize some people aren't fond of this token, but it's at the level of harmlessness - and at least to some a part of the PHP folklore - that we should find better things to do than take another stab at removing it. +1
-- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
