MediaWiki:Common.js

// Check if we're editing a page.
if ( [ 'edit', 'submit' ].indexOf( mw.config.get( 'wgAction' ) ) !== -1 ) {
	// Add a hook handler.
	mw.hook( 'wikiEditor.toolbarReady' ).add( function ( $textarea ) {
		// Configure a new toolbar entry on the given $textarea jQuery object.
		$textarea.wikiEditor( 'addToToolbar', {
			'section': 'advanced',
			'group': 'format',
			'tools': {
				'pretext': {
					label: '<pre>',
					type: 'button',
					icon: '/images/buttons/Button_pre.png',
					action: {
						type: 'encapsulate',
						options: {
							pre: "<pre>",
							periMsg: "insert pre text here",
							post: "</pre>"
						}
					}
				}
			}
		} );
	} );
}