The file extension of the input file.

• 输入文件的文件扩展名。