Please replace PHP7.1 with PHP7.2

[abulhol]

We have the continued problem that on Ubuntu 18, PHP7.2 is default, but Fog installs PHP7.1 packages from another PPA, obviously only because of tests that still use PHP mcrypt.
Could you please change this? It is really cumbersome to tell people to update the fog installer manually to be able to install it.
See also:
https://github.com/FOGProject/fogproject/issues/264
Re: Installation - Centos 7 & PHP 7?

[Sebastian Roth]

@abulhol Fixed in working branch.