Hello internals, As the two week discussion period has elapsed the vote is now open.
We did acknowledge the suggestion of dropping the token name from the error message directly, but in our opinion this is an orthogonal change to the one proposed, and has the risk of not landing in PHP 8.0. The vote will close on the 9th of July. https://wiki.php.net/rfc/rename-double-colon-token Best regards George P. Banyard
