Merge pull request #148 from jakzal/tools-update

Update tools
jakzal · Sep 29, 2019 · 659d81e · 659d81e
2 parents e2d7276 + 16da6b0
commit 659d81e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/resources/tools.json b/resources/tools.json
@@ -633,11 +633,11 @@
       "website": "https://psalm.dev/",
       "command": {
         "file-download": {
-          "url": "https://github.com/vimeo/psalm/releases/download/3.5.2/psalm.phar.asc",
+          "url": "https://github.com/vimeo/psalm/releases/download/3.5.3/psalm.phar.asc",
           "file": "%target-dir%/psalm.phar.asc"
         },
         "phar-download": {
-          "phar": "https://github.com/vimeo/psalm/releases/download/3.5.2/psalm.phar",
+          "phar": "https://github.com/vimeo/psalm/releases/download/3.5.3/psalm.phar",
           "bin": "%target-dir%/psalm"
         }
       },