Use php 7.1

Merged tomalo.stuttgart requested to merge use-php-7-1 into develop

Merge request reports