diff --git a/web/public_php/setup/install.php b/web/public_php/setup/install.php index 03592f8b5..b4a2ba44d 100644 --- a/web/public_php/setup/install.php +++ b/web/public_php/setup/install.php @@ -11,7 +11,8 @@ include('header.php'); require_once('setup/version.php'); -$shardDev = (strtoupper(substr(PHP_OS, 0, 3)) === 'WIN'); +$shardWinDev = (strtoupper(substr(PHP_OS, 0, 3)) === 'WIN'); +$shardDev = $shardWinDev; ?> @@ -505,19 +506,32 @@ $shardDev = (strtoupper(substr(PHP_OS, 0, 3)) === 'WIN');