文件扩展名批量修改器

文件扩展名批量修改器是一款非常实用的扩展名修改工具，该工具可以帮助用户同时修改多个指定类型的文件扩展名，让用户省去许多多余的操作，节省更多的时间。