Merge pull request #116 from drexlma/patch-1

Notice: A non well formed numeric value encountered in /var/www/webgrind/library/Reader.php on line 206
jokkedk · Jun 14, 2019 · 29e52e5 · 29e52e5
2 parents c2e3ddb + 03e3da1
commit 29e52e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/Reader.php b/library/Reader.php
@@ -208,7 +208,7 @@ function getHeader($header) {
                     // summary now includes time + memory usage, webgrind only tracks the time from the summary
                     $subParts = explode(' ', $parts[1]);
                     $this->headers['runs']++;
-                    $this->headers['summary'] += $subParts[0];
+                    $this->headers['summary'] += (double) $subParts[0];
                 } else {
                     $this->headers[$parts[0]] = $parts[1];
                 }