On 21/08/2020 18:28, Theodore Brown wrote:
Since the #[] attribute syntax is currently winning the vote, [1] it makes me wonder if the use of comments starting with # should be deprecated.
I've mentioned this myself in R11 a few times and was planning on bringing this up to a vote myself as soon as we started for 8.1
I think it makes perfect sense, there's no reason why we need both // and # and if #[] wins out as it looks like it will, that's even more reason to deprecate #.
There's an easy upgrade path too with a perfect substitution, and so far as I can tell the only breakage would be if people were using external code to do pre-processor like operations such as using #start and #end as quasi-tags.
Ideally, if we pass #[ ] we would deprecate # in the same version and put it on the fast-track to removal, but that would require an additional vote.
Mark Randall -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
