Updates the file extension if needed, changing from .xml to .html wherever necessary

根据需要更新文件扩展名，必要的时候将扩展名从 .xml更改为 .html

youdao

Changing the file extension.

变更文件扩展名。

youdao

By changing the file name extension to either.xml or.json, you can change the output format.

通过将文件的扩展名改为. xml或.json，可以更改输出的格式。

youdao

By changing the file name extension to either.xml or.json, you can change the output format.

通过将文件的扩展名改为. xml或.json，可以更改输出的格式。

youdao