Interface FormattingEditProviderWithMetadata

Extended formatter provider interface that includes extension metadata. These properties are added by Theia when registering formatters from plugins.

interface FormattingEditProviderWithMetadata {
displayName?: string;
extensionId?: ExtensionIdentifier;
}