MediaWiki:Common.js

/* Any JavaScript here will be loaded for all users on every page load. */ $(document).ready(function {   // Change Random Page button to only go to pages in the mainspace    $('.wds-dropdown a[data-tracking=explore-random], ul.tools li a[data-name=random]').attr("href", "/wiki/Special:Random/main"); });

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