Remove 'config.platform.php' key from composer.json, add psalm again

leonardfischer · leonardfischer · commit 0558f1fdee42 · 2022-06-05T23:51:46.000+02:00
diff --git a/composer.json b/composer.json
@@ -40,6 +40,7 @@
         "phpstan/phpstan": "^1.6.8",
         "phpunit/phpunit": "^9.5.20",
         "povils/phpmnd": "^2.5.0",
+        "psalm/phar": "^4.23",
         "roave/security-advisories": "dev-master",
         "sclable/xml-lint": "^0.5.0",
         "sebastian/phpcpd": "^6.0.3",
@@ -61,9 +62,6 @@
         }
     },
     "config": {
-        "platform": {
-            "php": "8.0.5"
-        },
         "process-timeout": 86400,
         "sort-packages": true,
         "allow-plugins": {
diff --git a/composer.lock b/composer.lock
diff --git a/psalm.xml b/psalm.xml
@@ -4,7 +4,7 @@
     resolveFromConfigFile="true"
     xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
     xmlns="https://getpsalm.org/schema/config"
-    phpVersion="7.2"
+    phpVersion="7.4"
     xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
     errorBaseline="psalm-baseline.xml"
 >

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`resolveFromConfigFile="true"`
`5`	`5`	`xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"`
`6`	`6`	`xmlns="https://getpsalm.org/schema/config"`
`7`		`- phpVersion="7.2"`
	`7`	`+ phpVersion="7.4"`
`8`	`8`	`xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"`
`9`	`9`	`errorBaseline="psalm-baseline.xml"`
`10`	`10`	`>`