User:RealDevounWiki/global.js

importArticles({   type: 'script',    articles: [        'u:dev:MediaWiki:RedirectManagement/code.js',    ] });

importArticles({   type: 'script',    articles: [        'u:dev:MediaWiki:BotManagement.js',    ] });