From 7377897f5fb337b1237dbfa94e117908eb1af3f0 Mon Sep 17 00:00:00 2001 From: Ben Tadiar Date: Sun, 1 Oct 2017 21:01:12 +0100 Subject: [PATCH] - Updated phan to 0.10.0 (was 0.9.4) - Updated PhpMetrics to 2.3.0 (was 2.2.0) - Updated phpstan to 0.8.5 (was 0.8.3) --- tools.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools.json b/tools.json index 8bb4931a..661c715d 100644 --- a/tools.json +++ b/tools.json @@ -92,7 +92,7 @@ "website": "https://github.com/etsy/phan", "command": { "phar-download": { - "phar": "https://github.com/etsy/phan/releases/download/0.9.4/phan.phar", + "phar": "https://github.com/etsy/phan/releases/download/0.10.0/phan.phar", "bin": "/usr/local/bin/phan" } } @@ -280,7 +280,7 @@ "website": "http://www.phpmetrics.org/", "command": { "phar-download": { - "phar": "https://github.com/phpmetrics/PhpMetrics/releases/download/v2.2.0/phpmetrics.phar", + "phar": "https://github.com/phpmetrics/PhpMetrics/releases/download/v2.3.0/phpmetrics.phar", "bin": "/usr/local/bin/phpmetrics" } } @@ -301,7 +301,7 @@ "website": "https://github.com/phpstan/phpstan", "command": { "phar-download": { - "phar": "https://github.com/phpstan/phpstan/releases/download/0.8.3/phpstan.phar", + "phar": "https://github.com/phpstan/phpstan/releases/download/0.8.5/phpstan.phar", "bin": "/usr/local/bin/phpstan" } }