install_dump no longer throws exception if already installed
[tine20] / tine20 / Setup / Frontend /
drwxr-xr-x   ..
-rw-r--r-- 31616 Cli.php
-rw-r--r-- 2461 Http.php
-rw-r--r-- 10757 Json.php