User:DAVID.EXE/global.js

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