php7.1-xdebug instead of php-xdebug instead. apt-get update needed therefore
Attach a file by drag & drop or click to upload