Small change to use the latest PHP version in ASTView Level 3.0.