Userland snapin for PHP's tokenizer extension