MDL-74671 phpunit: remove file/directory coverage duplicates.

2022-06-27 10:16:22 +01:00
parent bbff432ffa
commit c4ed6da1c5
1 changed files with 2 additions and 2 deletions
@@ -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}");
        }