From 439a852bb278debc7fb90baee4e77d7c835326e1 Mon Sep 17 00:00:00 2001 From: Jakub Zalas Date: Mon, 23 Jul 2018 09:36:13 +0100 Subject: [PATCH 1/2] Update phan (0.12.13 -> 0.12.15) --- tools.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools.json b/tools.json index 31b185bf..f27af13d 100644 --- a/tools.json +++ b/tools.json @@ -153,7 +153,7 @@ "website": "https://github.com/phan/phan", "command": { "phar-download": { - "phar": "https://github.com/phan/phan/releases/download/0.12.13/phan.phar", + "phar": "https://github.com/phan/phan/releases/download/0.12.15/phan.phar", "bin": "/usr/local/bin/phan" } }, From bb80fd941ecdb6a5892b00d4ebce5680b804234f Mon Sep 17 00:00:00 2001 From: Jakub Zalas Date: Mon, 23 Jul 2018 09:37:18 +0100 Subject: [PATCH 2/2] Update phpmetrics (2.3.2 -> 2.4.1) --- tools.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools.json b/tools.json index f27af13d..721d8e9c 100644 --- a/tools.json +++ b/tools.json @@ -387,7 +387,7 @@ "website": "http://www.phpmetrics.org/", "command": { "phar-download": { - "phar": "https://github.com/phpmetrics/PhpMetrics/releases/download/v2.3.2/phpmetrics.phar", + "phar": "https://github.com/phpmetrics/PhpMetrics/releases/download/v2.4.1/phpmetrics.phar", "bin": "/usr/local/bin/phpmetrics" } },