Add the PPA, updated apt-get, install php7.2.
sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
sudo apt-get install php7.2-cli
name: Add PHP 7.2 PPA
apt_repository:
repo: "ppa:ondrej/php"
update_cache: yes
Add the PPA, updated apt-get, install php7.2.
sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
sudo apt-get install php7.2-cli
name: Add PHP 7.2 PPA
apt_repository:
repo: "ppa:ondrej/php"
update_cache: yes