Update ExtensionInstaller.php