Wrapper around PHP's tokenizer extension
