New PHP Default Versions for Pantheon-maintained Upstreams

Drupal 8 and WordPress now default to PHP 7.2, while Drupal 7 defaults to PHP 7.1. For details see https://pantheon.io/blog/speed-your-site-php-72/.