Update tools

sebastianbergmann · May 16, 2019 · de00854 · de00854
1 parent 8d39739
commit de00854
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 16 deletions.
diff --git a/phive.xml b/phive.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <phive xmlns="https://phar.io/phive">
-  <phar name="phpab" version="^1.25" installed="1.25.5" location="./tools/phpab" copy="true"/>
+  <phar name="phpab" version="^1.25" installed="1.25.6" location="./tools/phpab" copy="true"/>
   <phar name="php-cs-fixer" version="^2.14" installed="2.15.0" location="./tools/php-cs-fixer" copy="true"/>
   <phar name="phpdox" version="^0.11" installed="0.12.0" location="./tools/phpdox" copy="true"/>
   <phar name="phploc" version="^4.0" installed="4.0.1" location="./tools/phploc" copy="true"/>