Switch back to PHP 7.0

* PHP 7.1 is not available on the servers
* Waiting for a new server with PHP 7.2
2 jobs for switch-back-to-php-7-0 in 5 minutes and 58 seconds