Update psalm.xml.dist

auth0 · Dec 11, 2023 · bbb7907 · bbb7907
1 parent 42a963e
commit bbb7907
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/psalm.xml.dist b/psalm.xml.dist
@@ -11,7 +11,6 @@
 >
     <projectFiles>
         <directory name="src"/>
-        <directory name="deprecated"/>
     </projectFiles>
 
     <issueHandlers>
@@ -24,7 +23,7 @@
         <DeprecatedInterface errorLevel="suppress"/>
     </issueHandlers>
 
-    <plugins>
-        <pluginClass class="Psalm\LaravelPlugin\Plugin" />
-    </plugins>
+    <stubs>
+        <file name="vendor/php-stubs/wordpress-stubs/wordpress-stubs.php" />
+    </stubs>
 </psalm>