From b3291d686a0fc75c7df0529ad8f9285d13f15481 Mon Sep 17 00:00:00 2001
From: Shohei Nakajima <nakajimashouhei@gmail.com>
Date: Wed, 13 Oct 2021 12:19:43 +0900
Subject: [PATCH] fix: warning php7.2

---
 src/Report/Html/Renderer/File.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Report/Html/Renderer/File.php b/src/Report/Html/Renderer/File.php
index 5461c9e76..063a68eb1 100644
--- a/src/Report/Html/Renderer/File.php
+++ b/src/Report/Html/Renderer/File.php
@@ -304,7 +304,7 @@ protected function renderSource(FileNode $node)
             $popoverTitle   = '';
 
             if (array_key_exists($i, $coverageData)) {
-                $numTests = count($coverageData[$i]);
+                $numTests = is_array($coverageData[$i]) ? count($coverageData[$i]) : 0;
 
                 if ($coverageData[$i] === null) {
                     $trClass = ' class="warning"';