Some Codestyle for the new install-extension.php

This PR fix some Codestyle for the new install-extension.php