From bb4cbe461c652c37308fd56e5f8a14546951b26a Mon Sep 17 00:00:00 2001 From: Laurence Date: Tue, 29 Nov 2022 14:53:15 +0100 Subject: [PATCH] Updated server version --- html/inc/server_version.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/html/inc/server_version.inc b/html/inc/server_version.inc index 98e56f9f536..65e9d688e38 100644 --- a/html/inc/server_version.inc +++ b/html/inc/server_version.inc @@ -7,7 +7,7 @@ // and are assumed to have a branch on github. // dev versions (e.g. master) have an odd minor # -$server_version = array(1, 1, 0); +$server_version = array(1, 4, 0); $server_version_str = sprintf("%d.%d.%d", $server_version[0], $server_version[1], $server_version[2]