Wrapper around PHP's tokenizer extension.