From db211ffff7781777da6de3c673158e1bceda1d2f Mon Sep 17 00:00:00 2001 From: kaetemi Date: Sun, 13 Jun 2021 05:03:49 +0800 Subject: [PATCH] Put good defaults for development --- web/public_php/setup/install.php | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/web/public_php/setup/install.php b/web/public_php/setup/install.php index 270491dda..03592f8b5 100644 --- a/web/public_php/setup/install.php +++ b/web/public_php/setup/install.php @@ -11,6 +11,8 @@ include('header.php'); require_once('setup/version.php'); +$shardDev = (strtoupper(substr(PHP_OS, 0, 3)) === 'WIN'); + ?> @@ -396,7 +398,7 @@ require_once('setup/version.php');
- +
@@ -503,19 +505,19 @@ require_once('setup/version.php');
- + ">
- + ">
- + ">