Merge pull request #45 from jakzal/phan-update

Update phan 0.12.2 -> 0.12.5
jakzal · Apr 20, 2018 · a9738e7 · a9738e7
2 parents d58022d + e71a273
commit a9738e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools.json b/tools.json
@@ -140,7 +140,7 @@
       "website": "https://github.com/phan/phan",
       "command": {
         "phar-download": {
-          "phar": "https://github.com/phan/phan/releases/download/0.12.2/phan.phar",
+          "phar": "https://github.com/phan/phan/releases/download/0.12.5/phan.phar",
           "bin": "/usr/local/bin/phan"
         }
       },