ZP-959 Format time output at the end of the request to match memory

usage format.

Released under the Affero GNU General Public License (AGPL) version 3.

src/lib/core/zlog.php

@@ -176,10 +176,10 @@ class ZLog {
     static public function WriteEnd() {
         if (LOGLEVEL_DEBUG <= LOGLEVEL || (LOGLEVEL_DEBUG <= LOGUSERLEVEL && self::$userLog)) {
             if (version_compare(phpversion(), '5.4.0') < 0) {
-                $time_used = number_format(time() - $_SERVER["REQUEST_TIME"], 2, ',', '.');
+                $time_used = number_format(time() - $_SERVER["REQUEST_TIME"], 2);
             }
             else {
-                $time_used = number_format(microtime(true) - $_SERVER["REQUEST_TIME_FLOAT"], 2, ',', '.');
+                $time_used = number_format(microtime(true) - $_SERVER["REQUEST_TIME_FLOAT"], 2);
             }
             $peakUsage = memory_get_peak_usage(false);
             $truePeakUsage = memory_get_peak_usage(true);