CoralVM-PHP: Updating interface of tokenizer