Bump Drupal's minimum PHP version to 7.2 as soon as 9.0.x is branched (a higher version may be required later)