From c4ed6da1c53324be999a33ca783acae3bb4793bf Mon Sep 17 00:00:00 2001
From: Paul Holden <paulh@moodle.com>
Date: Thu, 26 May 2022 21:09:15 +0100
Subject: [PATCH] MDL-74671 phpunit: remove file/directory coverage duplicates.

---
 lib/phpunit/classes/coverage_info.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/phpunit/classes/coverage_info.php b/lib/phpunit/classes/coverage_info.php
index 3ad26a91f59..036a947229b 100644
--- a/lib/phpunit/classes/coverage_info.php
+++ b/lib/phpunit/classes/coverage_info.php
@@ -97,11 +97,11 @@ class phpunit_coverage_info {
             }
         }
 
-        foreach ($includelistfolders as $folder) {
+        foreach (array_unique($includelistfolders) as $folder) {
             $coverages[] = html_writer::tag('directory', "{$plugindir}{$folder}", ['suffix' => '.php']);
         }
 
-        foreach ($includelistfiles as $file) {
+        foreach (array_unique($includelistfiles) as $file) {
             $coverages[] = html_writer::tag('file', "{$plugindir}{$file}");
         }