FileExtension

TextType.FileExtension property

Dateierweiterung (ohne führenden Punkt) einer bestimmten Textressource

public string FileExtension { get; }