A static analyzer for PHP version migration