[]
Gets the default filename extension for the current export format.
public abstract string DefaultExtension { get; }