Fix PHP version note