Editing: PhpToken.php