UNdo changes in psalm.xml config

DiamondLightSource · Nov 2, 2023 · 95f8618 · 95f8618
1 parent e8ea886
commit 95f8618
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/api/psalm.xml b/api/psalm.xml
@@ -1,13 +1,11 @@
 <?xml version="1.0"?>
 <psalm
-    phpVersion="7.3"
     errorLevel="7"
     resolveFromConfigFile="true"
     xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
     xmlns="https://getpsalm.org/schema/config"
     xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
->
-
+>    
     <projectFiles>
         <directory name="./src" />
         <ignoreFiles>