public void disableGlobally(UserExtension repo, String user)
{
String pluginKey = repo.getKey();
data.removeGlobalExtension(pluginKey);
descriptorGeneratorManager.refreshGeneratedDescriptorsForPlugin(pluginKey);
eventPublisher.publish(new ExtensionEnabledGloballyEvent(pluginKey).setUserName(user)
.setUserEmail(userManager.getUserProfile(user).getEmail()));
}