Update Psalm baseline

sebastianbergmann · Dec 5, 2023 · 7fc1b6b · 7fc1b6b
1 parent 61b958f
commit 7fc1b6b
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.psalm/baseline.xml b/.psalm/baseline.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<files psalm-version="5.16.0@2897ba636551a8cb61601cc26f6ccfbba6c36591">
+<files psalm-version="5.17.0@c620f6e80d0abfca532b00bda366062aaedf6e5d">
   <file src="src/Event/Dispatcher/DirectDispatcher.php">
     <UndefinedInterfaceMethod>
       <code>notify</code>
@@ -961,6 +961,11 @@
       <code>removeChild</code>
     </PossiblyNullReference>
   </file>
+  <file src="src/TextUI/Configuration/Xml/Migration/Migrations/MoveCoverageDirectoriesToSource.php">
+    <InvalidArgument>
+      <code><![CDATA[$xpath->query('//coverage/' . $element)]]></code>
+    </InvalidArgument>
+  </file>
   <file src="src/TextUI/Configuration/Xml/Migration/Migrations/RemoveEmptyFilter.php">
     <PossiblyNullReference>
       <code>removeChild</code>