Wikipedia/assets/codemirror/resources/ext.CodeMirror.js
/**
	 * Adds CodeMirror button to the toolbar
	 */
Adds CodeMirror button to the toolbar
Adds CodeMirror button to the toolbar
function addToolbarButton() {
		mw.loader.using( 'ext.wikiEditor', function () {
			$( addCodeMirrorToWikiEditor );
		} );
	}
function addToolbarButton ( ) { mw . loader . using ( 'ext.wikiEditor' , function ( ) { $ ( addCodeMirrorToWikiEditor ) ; } ) ; }
Adds CodeMirror button to the toolbar
Adds CodeMirror button to the toolbar
// They are using WikiEditor // Add CodeMirror button to the enhanced editing toolbar.