Update install-extension.php
Merge pull request #7 from zero-24/patch-18

Some Codestyle for the new install-extension.php