The default version of PHP (when no `php` value is given) will be 7.2 starting March 12, 2019