After you save it, update the compressed file with the new copy and rename it with the ODT extension.

保存好之后，使用新副本更新压缩文件并将其扩展名重命名为odt。

youdao

Copy and paste the preceding extension definition to your plugin.xml file.

复制前述的扩展定义并粘贴到plugin . xml文件中。

youdao

Copy or unpack the extension into MediaWiki's extensions directory.

将此扩展复制并解压缩到MediaWiki的extensions目录。

youdao