Merge pull request #85 from jakzal/tools-update

Update tools
jakzal · Apr 23, 2019 · b9baf58 · b9baf58
2 parents 6808219 + dbe4623
commit b9baf58
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/resources/tools.json b/resources/tools.json
@@ -187,7 +187,7 @@
       "website": "https://github.com/phan/phan",
       "command": {
         "phar-download": {
-          "phar": "https://github.com/phan/phan/releases/download/1.3.0/phan.phar",
+          "phar": "https://github.com/phan/phan/releases/download/1.3.1/phan.phar",
           "bin": "%target-dir%/phan"
         }
       },
@@ -631,11 +631,11 @@
       "website": "https://getpsalm.org/",
       "command": {
         "file-download": {
-          "url": "https://github.com/vimeo/psalm/releases/download/3.2.7/psalm.phar.asc",
+          "url": "https://github.com/vimeo/psalm/releases/download/3.2.9/psalm.phar.asc",
           "file": "%target-dir%/psalm.phar.asc"
         },
         "phar-download": {
-          "phar": "https://github.com/vimeo/psalm/releases/download/3.2.7/psalm.phar",
+          "phar": "https://github.com/vimeo/psalm/releases/download/3.2.9/psalm.phar",
           "bin": "%target-dir%/psalm"
         }
       },