The tokenizer shared extension for php
