> On 5 Jul 2017, at 19:09, Lauri Kenttä <lauri.ken...@gmail.com> wrote: > >> On 2017-07-05 18:24, Rowan Collins wrote: >>> On 5 July 2017 13:28:29 BST, "Johannes Schlüter" <johan...@schlueters.de> >>> wrote: >>>> On Mi, 2017-07-05 at 11:24 +0100, Rowan Collins wrote: >>>> Firstly, I'm not sure where you got the names you've put in >>>> ALL_CAPS from, but they're not the official names of the operators >>>> anywhere I've seen. The double-colon is technically the "Scope >>>> Resolution Operator", or internally T_PAAMAYIM_NEKUDOTAYIM (which >>>> does mean double-colon). It's described in the manual here: http://p >>>> hp.net/manual/en/language.oop5.paamayim-nekudotayim.php >>> We use T_DOUBLE_COLON in reflection: >>> ext/tokenizer/tokenizer_data.c: REGISTER_LONG_CONSTANT("T_DOUBLE >>> _COLON", T_PAAMAYIM_NEKUDOTAYIM, CONST_CS | CONST_PERSISTENT); >>> ext/tokenizer/tokenizer_data.c: case >>> T_PAAMAYIM_NEKUDOTAYIM: return "T_DOUBLE_COLON"; >>> and I believe it appears/appeared in other places, too. >> Ah, OK, I stand corrected. >> Regards, > > 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. Zeev