From d1141c63fbe2d7b0432c54ddccfc80a66a0a72b2 Mon Sep 17 00:00:00 2001
From: k-alin <63866963+k-alin@users.noreply.github.com>
Date: Fri, 25 Feb 2022 16:15:19 +0100
Subject: [PATCH] add socket to default settings in defaults.config.php

---
 static/defaults.config.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/static/defaults.config.php b/static/defaults.config.php
index c31446cfef..97e4b0b54b 100644
--- 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' => '',