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
Status Job ID Name Coverage
  Build
passed #8277
build

00:02:17

 
  Layout
passed #8278
layout

00:03:41