Update tools

jakzal · Apr 20, 2019 · d28da8c · d28da8c
1 parent 3a9f1d9
commit d28da8c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"
         }
       },