Replace Psalm with PHPstan

Author: tvdijen

.github/workflows/php.yml

@@ -162,9 +162,8 @@ jobs:
         with:
           # Should be the higest supported version, so we can use the newest tools
           php-version: '8.4'
-          tools: composer, composer-require-checker, composer-unused, phpcs, psalm
-          # optional performance gain for psalm: opcache
-          extensions: ctype, date, dom, fileinfo, filter, hash, intl, mbstring, opcache, openssl, pcre, spl, xml
+          tools: composer, composer-require-checker, composer-unused, phpcs
+          extensions: ctype, date, dom, fileinfo, filter, hash, intl, mbstring, openssl, pcre, spl, xml
 
       - name: Setup problem matchers for PHP
         run: echo "::add-matcher::${{ runner.tool_cache }}/php.json"
@@ -196,27 +195,13 @@ jobs:
       - name: PHP Code Sniffer
         run: phpcs
 
-      - name: Psalm
-        continue-on-error: true
-        run: |
-          psalm -c psalm.xml \
-          --show-info=true \
-          --shepherd \
-          --php-version=${{ steps.setup-php.outputs.php-version }}
-
-      - name: Psalm (testsuite)
+      - name: PHPStan
         run: |
-          psalm -c psalm-dev.xml \
-          --show-info=true \
-          --shepherd \
-          --php-version=${{ steps.setup-php.outputs.php-version }}
+          vendor/bin/phpstan analyze -c phpstan.neon
 
-      - name: Psalter
+      - name: PHPStan (testsuite)
         run: |
-          psalm --alter \
-          --issues=UnnecessaryVarAnnotation \
-          --dry-run \
-          --php-version=${{ steps.setup-php.outputs.php-version }}
+          vendor/bin/phpstan analyze -c phpstan-dev.neon
 
   security:
     name: Security checks

composer.json

@@ -36,24 +36,18 @@
         "ext-SimpleXML": "*",
         "ext-session": "*",
 
-        "simplesamlphp/assert": "^1.1",
-        "simplesamlphp/composer-module-installer": "^1.3",
-        "simplesamlphp/simplesamlphp": "^2.3",
-        "simplesamlphp/xml-cas": "^1.3",
-        "simplesamlphp/xml-common": "^1.17",
-        "simplesamlphp/xml-soap": "^1.5",
-        "symfony/http-foundation": "^6.4",
-        "symfony/http-kernel": "^6.4",
-        "simplesamlphp/saml11": "~1.2.4"
+        "simplesamlphp/assert": "~1.8.2",
+        "simplesamlphp/composer-module-installer": "~1.4.0",
+        "simplesamlphp/simplesamlphp": "~2.4.2",
+        "simplesamlphp/xml-cas": "~2.0.0",
+        "simplesamlphp/xml-common": "~2.0.0",
+        "simplesamlphp/xml-soap": "~2.0.0",
+        "symfony/http-foundation": "~6.4.0",
+        "symfony/http-kernel": "~6.4.0",
+        "simplesamlphp/saml11": "~1.2.5"
     },
     "require-dev": {
-        "simplesamlphp/simplesamlphp-test-framework": "^1.7",
-        "phpunit/phpunit": "^10",
-        "psalm/plugin-phpunit": "^0.19.0",
-        "squizlabs/php_codesniffer": "^3.7",
-        "maglnet/composer-require-checker": "4.7.1",
-        "vimeo/psalm": "^5",
-        "icanhazstring/composer-unused": "^0.8.11"
+        "simplesamlphp/simplesamlphp-test-framework": "~1.9.2"
     },
     "support": {
         "issues": "https://github.com/simplesamlphp/simplesamlphp-module-casserver/issues",