MediaWiki:Gadget-UserTools.js

// User Tools importArticles({   type: 'script',    articles: [        'u:dev:DiscussionsFeed.js',        'u:dev:EditConflictAlert/code.js',        'u:dev:FindAndReplace/code.js',        'u:dev:NullEditButton/code.js'    ] });