From c79eeece76ed52f0ba92877384f9c4b0dad495a5 Mon Sep 17 00:00:00 2001 From: Jakub Zalas Date: Tue, 28 Jan 2020 10:06:38 +0000 Subject: [PATCH] Update tools --- resources/tools.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/tools.json b/resources/tools.json index d1e7b3c3..73ab00a2 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/2.4.7/phan.phar", + "phar": "https://github.com/phan/phan/releases/download/2.4.8/phan.phar", "bin": "%target-dir%/phan" } },