restore ExtensionInstallerTest.php, modify ExtensionInstaller.php