Don't count directory as existing file

PowerKiKi · PowerKiKi · commit ca94d18aeac3 · 2022-01-07T14:01:29.000+01:00
diff --git a/src/Service/FileChecker.php b/src/Service/FileChecker.php
@@ -71,6 +71,8 @@ private function readDisk(array $config): array
                 throw new Exception('Could not glob path: ' . $basePath);
             }
 
+            $filesFound = array_filter($filesFound, 'is_file');
+
             $files = array_merge($files, $filesFound);
         }
 

Original file line number	Diff line number	Diff line change
`@@ -71,6 +71,8 @@ private function readDisk(array $config): array`
`71`	`71`	`throw new Exception('Could not glob path: ' . $basePath);`
`72`	`72`	`}`
`73`	`73`
	`74`	`+ $filesFound = array_filter($filesFound, 'is_file');`
	`75`	`+`
`74`	`76`	`$files = array_merge($files, $filesFound);`
`75`	`77`	`}`
`76`	`78`