Tokenizer for PHP code.