From 4bb9c11e5562162679dca7b3c9dbf96d9b88110d Mon Sep 17 00:00:00 2001
From: Yuri Kuznetsov <yurikuzn@users.noreply.github.com>
Date: Tue, 25 Jul 2023 09:54:19 +0300
Subject: [PATCH] fix install warning

---
 install/core/actions/saveSettings.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install/core/actions/saveSettings.php b/install/core/actions/saveSettings.php
index d76b6250c5..11c5034972 100644
--- a/install/core/actions/saveSettings.php
+++ b/install/core/actions/saveSettings.php
@@ -40,7 +40,7 @@ $database = [
     'dbname' => $_SESSION['install']['db-name'],
     'user' => $_SESSION['install']['db-user-name'],
     'password' => $_SESSION['install']['db-user-password'],
-    'platform' => $_SESSION['install']['db-platform'],
+    'platform' => $_SESSION['install']['db-platform'] ?? 'Mysql',
 ];
 
 $host = $_SESSION['install']['host-name'];