Merge "Correct PHP version in maintenance/dev/README"