From dbe4623c67d39725bdbfbf34ef58091396a0cb0d Mon Sep 17 00:00:00 2001 From: Jakub Zalas Date: Tue, 23 Apr 2019 07:53:47 +0000 Subject: [PATCH] Update tools --- resources/tools.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/resources/tools.json b/resources/tools.json index 71d4d85c..5c569871 100644 --- 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" } },