> I don't even mind still having a compile error in PHP 8 when it sees the token
I don't have a vote so these are just my 2 cents, but even though I'm all for removing short open tags entirely, I think that this solution is excellent for 2 reasons: - it solves the code leak issue when upgrading blindly from PHP 7 to PHP 8, and still makes short open tags effectively unusable on PHP 8; it can therefore make everyone confident that they can then be removed in PHP 9, as the odds of someone upgrading blindly from PHP 7 to PHP 9 are almost nonexistent - it allows tools that automatically convert short open tags to standard open tags to actually work on PHP 8. Because if I'm not mistaken, if these tools are based on token_get_all() and "<?" is not recognized as a token anymore in PHP 8, these tools would stop working on PHP 8. Ben