php-token-stream is a stub port
