Iterative PHP-tokenizer has finished.