User:∫/global.js

importScriptPage('AjaxRC/code.js', 'dev'); AjaxRCRefreshText = 'Auto-refresh'; AjaxRCRefreshHoverText = 'Automatically refresh the page';

importArticles({   type: 'script',    articles: [        'w:answers:MediaWiki:Gadget-HotCat.js',        'w:dev:AjaxBatchDelete/code.js'    ] });