导出小工具

要导出ProveIt小工具，请单击“下载”按钮，保存下载的文件，前往目标wiki的Special:Import并将文件上传。然后添加以下内容至MediaWiki:Gadgets-definition页面：

* ProveIt[ResourceLoader|dependencies=mediawiki.api,mediawiki.cookie,jquery.textSelection,jquery.ui|hidden]|ProveIt.js|ProveIt.css

您必须在目标wiki上拥有适当的权限（包括编辑系统消息的权限），并且启用从文件上传导入。