User:JMurph/global.js

importArticles({   type: 'script',    articles: [        'w:dev:MediaWiki:WallGreetingButton/code.js'    ] }); importScriptPage('MediaWiki:ViewRemoved/code.js', 'dev'); window.fdButtons = []; window.fdButtons.push(   {        summary: 'Housekeeping',        label: 'HK'    },    {        summary: 'Vandalism',        label: 'V'    },    {        summary: 'Spam',        label: 'S'    } ); importArticles( {   type: 'script',    articles: [        // ...        'u:dev:FastDelete/code.js',        // ...    ] } );