add socket to default settings in defaults.config.php

diff --git a/static/defaults.config.php b/static/defaults.config.php
index c31446cfefad7a5198b17ff8e2b184111e04e13c..97e4b0b54b2623812002e6f3e5facb40b1d2a638 100644 (file)
--- a/static/defaults.config.php
+++ b/static/defaults.config.php
@@ -37,6 +37,11 @@ return [
                // Can be used instead of adding a port number to the hostname
                'port' => null,
 
+               // socket (String)
+                // Socket of the database server.
+                // Can be used instead of adding a socket location to the hostname
+                'socket' => '',
+
                // user (String)
                // Database user name. Please don't use "root".
                'username' => '',