导出小工具

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

* ProveIt-classic[ResourceLoader|type=general|dependencies=jquery.ui,jquery.textSelection,mediawiki.util|actions=edit]|ProveIt-classic.css|ProveIt-classic.js

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