MediaWiki:Gadget-Tools.js

importArticles({   type: 'script',    articles: [        'u:dev:MediaWiki:AdminDashboard block/code.js',        'u:dev:MediaWiki:AjaxCommentDelete/code.js',        'u:dev:MediaWiki:AjaxEditSection.js',        'u:dev:MediaWiki:AjaxRename/code.js',        'u:dev:MediaWiki:CommentPreview/code.js',        'u:dev:MediaWiki:DupImageList/code.js',        'u:dev:MediaWiki:ListFiles/code.js',        'u:dev:MediaWiki:MessageBlock/code.js',        'u:dev:MediaWiki:NullEditButton/code.js',        'u:dev:MediaWiki:PortableListUsers.js',        'u:dev:MediaWiki:PurgeButton/code.js',        'u:dev:MediaWiki:QuickIW/code.js',        'u:dev:MediaWiki:View Source/code.js'    ] });