Fix Psalm error due to missing files

Files missing likely due to PHP and package upgrade.
wp-oop · Aug 13, 2023 · 3a05b12 · 3a05b12
1 parent 75fce54
commit 3a05b12
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/psalm.xml.dist b/psalm.xml.dist
@@ -29,12 +29,6 @@
         </ignoreFiles>
     </projectFiles>
 
-    <extraFiles>
-        <ignoreFiles>
-            <directory name="vendor/phpspec/prophecy"/>
-        </ignoreFiles>
-    </extraFiles>
-
     <issueHandlers>
         <ConflictingReferenceConstraint errorLevel="error"/>
         <ContinueOutsideLoop errorLevel="error"/>