From fce285ad01764d311a7540ff7ac0f111dc2c8b3e Mon Sep 17 00:00:00 2001 From: Jakub Zalas Date: Tue, 17 Dec 2019 23:14:48 +0000 Subject: [PATCH] Update tools --- resources/tools.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/resources/tools.json b/resources/tools.json index 6db7ffb2..ee2f88cd 100644 --- a/resources/tools.json +++ b/resources/tools.json @@ -447,7 +447,7 @@ "website": "http://www.phpmetrics.org/", "command": { "phar-download": { - "phar": "https://github.com/phpmetrics/PhpMetrics/releases/download/v2.4.1/phpmetrics.phar", + "phar": "https://github.com/phpmetrics/PhpMetrics/releases/download/v2.5.0/phpmetrics.phar", "bin": "%target-dir%/phpmetrics" } }, @@ -473,7 +473,7 @@ "website": "http://www.phpspec.net/", "command": { "phar-download": { - "phar": "https://github.com/phpspec/phpspec/releases/download/6.1.0/phpspec.phar", + "phar": "https://github.com/phpspec/phpspec/releases/download/6.1.1/phpspec.phar", "bin": "%target-dir%/phpspec" } },