文件扩展名批量修改器

可批量修改文件扩展名。用户可以选择某个目录，然后对该目录下（包括子目录）的某类文件的扩展名，进行批量修改，可修改成用户设定的扩展名类型。