Add vimeo/psalm (#16008)

Signed-off-by: William Desportes <williamdes@wdes.fr>
phpmyadmin · Apr 28, 2020 · 2bf02b6 · 2bf02b6
1 parent 927a53b
commit 2bf02b6
Show file tree

Hide file tree

Showing 3 changed files with 2,869 additions and 1 deletion.
diff --git a/composer.json b/composer.json
@@ -91,7 +91,8 @@
         "samyoul/u2f-php-server": "^1.1",
         "squizlabs/php_codesniffer": "^3.0",
         "symfony/console": "^4.3",
-        "tecnickcom/tcpdf": "^6.3"
+        "tecnickcom/tcpdf": "^6.3",
+        "vimeo/psalm": "^3.11"
     },
     "extra": {
         "branch-alias": {
@@ -102,10 +103,12 @@
         "phpcbf": "phpcbf",
         "phpcs": "phpcs",
         "phpstan": "phpstan analyse",
+        "psalm": "psalm",
         "phpunit": "phpunit --color=always",
         "test": [
             "@phpcs",
             "@phpstan",
+            "@psalm",
             "@phpunit"
         ]
     },