User:User56225108/global.js

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