From af89d33b82dbd08d6f72d9478ac49d49f552a1c0 Mon Sep 17 00:00:00 2001
From: Seamus Lee <seamuslee001@gmail.com>
Date: Thu, 9 Jul 2020 08:04:30 +1000
Subject: [PATCH] dev/core#1860 Fix installing on PHP7.3 Ubuntu 20.04 and
 MariaDB 10.3

---
 install/index.php | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/install/index.php b/install/index.php
index 34913643ba..5ed5587e21 100644
--- a/install/index.php
+++ b/install/index.php
@@ -1069,8 +1069,14 @@ class InstallRequirements {
         return TRUE;
       }
       else {
-        $testDetails[2] .= "{$majorHas}.{$minorHas}.";
-        $this->error($testDetails);
+        $versionDetails = mysqli_query($this->conn, 'SELECT version() as version')->fetch_assoc();
+        if (version_compare($versionDetails['version'], $min) == -1) {
+          $testDetails[2] .= "{$majorHas}.{$minorHas}.";
+          $this->error($testDetails);
+        }
+        else {
+          return TRUE;
+        }
       }
     }
   }
-- 
2.25.1