MediaWiki:Common.js

/* Any JavaScript here will be loaded for all users on every page load. */

var customizeToolbar = function () {

$( '#wpTextbox1' ).wikiEditor( 'addToToolbar', {
    'section': 'advanced',
    'group': 'format',
    'tools': {
        'code': {
            label: 'Code', 
            type: 'button',
            icon: '//evermeet.cx/wiki/images/1/16/Toolbar_button_code_1.gif',
            action: {
                type: 'encapsulate',
                options: {
                    pre: "<code>",
                    post: "</code>"
                }
            }
        }
    }
} );

$( '#wpTextbox1' ).wikiEditor( 'addToToolbar', {
    'section': 'advanced',
    'group': 'format',
    'tools': {
        'pre': {
            label: 'Preformatted text', 
            type: 'button',
            icon: '//evermeet.cx/wiki/images/7/7f/Toolbar_button_pre_1.png',
            action: {
                type: 'encapsulate',
                options: {
                    pre: "<pre>",
                    post: "</pre>"
                }
            }
        }
    }
} );

};

/* Check if view is in edit mode and that the required modules are available. Then, customize the toolbar … */
if ( $.inArray( mw.config.get( 'wgAction' ), [ 'edit', 'submit' ] ) !== -1 ) {
    mw.loader.using( 'user.options' ).then( function () {
        // This can be the string "0" if the user disabled the preference ([[phab:T54542#555387]])
        if ( mw.user.options.get( 'usebetatoolbar' ) == 1 ) {
            $.when(
                mw.loader.using( 'ext.wikiEditor.toolbar' ), $.ready
            ).then( customizeToolbar );
        }
    } );
}