f2f665dc08
php7.1-xdebug instead of php-xdebug instead. apt-get update needed therefore
php7.1-xdebug instead of php-xdebug instead. apt-get update needed therefore