9ce470e14e
fixes #927: PHP-Worker container uses PHP-CLI 7.0.9 despite workspace using 7.1.4
fixes #927: PHP-Worker container uses PHP-CLI 7.0.9 despite workspace using 7.1.4