Merge pull request #80 from jakzal/tools-update

Update tools
jakzal · Jul 23, 2018 · 831422a · 831422a
2 parents 52474ad + bb80fd9
commit 831422a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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"
         }
       },
@@ -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"
         }
       },