要导出ToolsRedirect-opt-bolds小工具，请单击“下载”按钮，保存下载的文件，前往目标wiki的Special:Import并将文件上传。然后添加以下内容至MediaWiki:Gadgets-definition页面：
* ToolsRedirect-opt-bolds[ResourceLoader|actions=view|dependencies=ext.gadget.ToolsRedirect,ext.gadget.Util,mediawiki.api,user.options|rights=edit|requiresES6]|ToolsRedirect-opt-bolds.js
您必须在目标wiki上拥有适当的权限（包括编辑系统消息的权限），并且启用从文件上传导入。