Update to PHP 7.2

5 jobs for task/new-server in 11 seconds