From 7ed87f5d095d54c7d5e6d70448fccc7dee07f250 Mon Sep 17 00:00:00 2001 From: Jakub Zalas Date: Sun, 10 Mar 2019 07:32:42 +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 68f6dd50..4a5c69f3 100644 --- a/resources/tools.json +++ b/resources/tools.json @@ -184,7 +184,7 @@ "website": "https://github.com/phan/phan", "command": { "phar-download": { - "phar": "https://github.com/phan/phan/releases/download/1.2.5/phan.phar", + "phar": "https://github.com/phan/phan/releases/download/1.2.6/phan.phar", "bin": "%target-dir%/phan" } },