xdebug add .so extension for php7.1 to be happy

solcloud · solcloud · commit 683795feb8b0 · 2022-01-19T13:26:41.000+01:00
diff --git a/src/docker/php.ini b/src/docker/php.ini
@@ -14,5 +14,5 @@ date.timezone = 'Europe/Prague'
 sendmail_path = "/bin/cat - > /tmp/mail.file"
 
 ; Xdebug
-zend_extension = xdebug
+zend_extension = xdebug.so
 xdebug.client_host = gateway
