希望能有修改文件扩展名的功能。