Add the PPA, updated apt-get, install php7.2.

## Commands for adding php7.2 via apt-get with PPA
```
sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
sudo apt-get install php7.2-cli
```

------

## Ruby snippet for adding role to automated builds
```

 name: Add PHP 7.2 PPA
   apt_repository:
     repo: "ppa:ondrej/php"
     update_cache: yes

```