From 035207beaece16309e1f1a864213939a3cc84fba Mon Sep 17 00:00:00 2001 From: Jakub Zalas Date: Mon, 18 Feb 2019 12:14:23 +0000 Subject: [PATCH] Update psalm (2.0.15 -> 2.0.16) --- resources/tools.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/resources/tools.json b/resources/tools.json index f6337601..22acc78d 100644 --- a/resources/tools.json +++ b/resources/tools.json @@ -589,11 +589,11 @@ "website": "https://getpsalm.org/", "command": { "file-download": { - "url": "https://github.com/vimeo/psalm/releases/download/3.0.15/psalm.phar.asc", + "url": "https://github.com/vimeo/psalm/releases/download/3.0.16/psalm.phar.asc", "file": "%target-dir%/psalm.phar.asc" }, "phar-download": { - "phar": "https://github.com/vimeo/psalm/releases/download/3.0.15/psalm.phar", + "phar": "https://github.com/vimeo/psalm/releases/download/3.0.16/psalm.phar", "bin": "%target-dir%/psalm" } },