From d28da8c0bb4e022d30bca5a4686b8ca535e8d7c0 Mon Sep 17 00:00:00 2001
From: Jakub Zalas <jakub@zalas.pl>
Date: Sat, 20 Apr 2019 07:52:09 +0000
Subject: [PATCH] Update tools

---
 resources/tools.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/tools.json b/resources/tools.json
index dea3e4a3..71d4d85c 100644
--- a/resources/tools.json
+++ b/resources/tools.json
@@ -187,7 +187,7 @@
       "website": "https://github.com/phan/phan",
       "command": {
         "phar-download": {
-          "phar": "https://github.com/phan/phan/releases/download/1.2.8/phan.phar",
+          "phar": "https://github.com/phan/phan/releases/download/1.3.0/phan.phar",
           "bin": "%target-dir%/phan"
         }
       },