Interface ExtensionRepositoryManager