From 7c7a38100fc90a74a7b1ac4b2fe2c530b3ac2ea6 Mon Sep 17 00:00:00 2001 From: Jakub Zalas Date: Thu, 30 May 2019 16:57:44 +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 c5abae4d..e474bac3 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.0.0/phan.phar", + "phar": "https://github.com/phan/phan/releases/download/1.3.5/phan.phar", "bin": "%target-dir%/phan" } },