User:WikiNumbers/global.js

importArticles({   type: 'script',     articles: [         'u:dev:MediaWiki:AutoHideNav.js',        'u:dev:MediaWiki:FindAndReplace/code.js',        'u:dev:MediaWiki:MassEdit/code.js',        'u:dev:MediaWiki:View Source/code.js'        ] });