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}"); }