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');
- + ">
- + ">
- + ">