Minimum PHP version for the development release