& # 124 ; SourceFileExtension & # 124 ; Edm.String & # 124 ; 否 & # 124 ; 用户 访问 的 文件 的 文件 扩展 名 。 如果 访问 对象 是 一 个 文件 夹 ， 则 此 属性 为 空 。 & # 124 ;

&#124; SourceFileExtension &#124; Edm.String &#124; No &#124; The file extension of the file that was accessed by the user . This property is blank if the object that was accessed is a folder . &#124;
