Remove redundant ignore

Causes failures on CI.
wp-oop · Sep 6, 2023 · 9952022 · 9952022
1 parent 708a2f8
commit 9952022
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/psalm.xml.dist b/psalm.xml.dist
@@ -23,12 +23,6 @@
         <directory name="src"/>
     </projectFiles>
 
-    <extraFiles>
-        <ignoreFiles>
-            <directory name="vendor/phpspec/prophecy"/>
-        </ignoreFiles>
-    </extraFiles>
-
     <stubs>
         <file name="vendor/php-stubs/wordpress-stubs/wordpress-stubs.php" />
     </stubs>