Improve dev documentation

This commit is contained in:
Dennis Eichhorn 2017-11-18 15:27:50 +01:00
parent 63efc54396
commit ac2529272b

View File

@ -67,9 +67,7 @@ if [ ! -d "$TOOLS_PATH" ]; then
wget -nc https://phar.phpunit.de/phploc.phar
wget -nc https://phar.phpunit.de/phpunit.phar
wget -nc https://github.com/Halleck45/PhpMetrics/raw/master/build/phpmetrics.phar
wget -nc http://phpdoc.org/phpDocumentor.phar
wget -nc http://static.pdepend.org/php/latest/pdepend.phar
wget -nc https://phar.phpunit.de/phpcpd.phar
wget -nc http://dl.google.com/closure-compiler/compiler-latest.tar.gz
tar -zxvf compiler-latest.tar.gz