From 4e1b282d39c7597a2c8cb6200fd5a8c0fcc1ff53 Mon Sep 17 00:00:00 2001 From: Jakub Zalas Date: Thu, 14 Feb 2019 20:57:53 +0000 Subject: [PATCH] Update phan (1.2.2 -> 1.2.3) and infection (0.12.0 -> 0.12.2) --- resources/tools.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/resources/tools.json b/resources/tools.json index 532c9d50..f6337601 100644 --- a/resources/tools.json +++ b/resources/tools.json @@ -118,11 +118,11 @@ "website": "https://infection.github.io/", "command": { "file-download": { - "url": "https://github.com/infection/infection/releases/download/0.12.0/infection.phar.asc", + "url": "https://github.com/infection/infection/releases/download/0.12.2/infection.phar.asc", "file": "%target-dir%/infection.phar.asc" }, "phar-download": { - "phar": "https://github.com/infection/infection/releases/download/0.12.0/infection.phar", + "phar": "https://github.com/infection/infection/releases/download/0.12.2/infection.phar", "bin": "%target-dir%/infection" } }, @@ -161,7 +161,7 @@ "website": "https://github.com/phan/phan", "command": { "phar-download": { - "phar": "https://github.com/phan/phan/releases/download/1.2.2/phan.phar", + "phar": "https://github.com/phan/phan/releases/download/1.2.3/phan.phar", "bin": "%target-dir%/phan" } },