Am 07.11.2020 um 10:09 schrieb Nikita Popov:
The reporter suggests to rename it into PhpToken::tokenize() instead, which seems like a sensible suggestion to me.
+1 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
