User:DDElephant/global.js

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