Wikipedia/assets/codemirror/resources/ext.CodeMirror.js
/**
	 * Updates CodeMirror button on the toolbar according to the current state (on/off)
	 */
Updates CodeMirror button on the toolbar according to the current state (on/off)
Updates CodeMirror button on the toolbar according to the current state ( on / off )
function updateToolbarButton() {
		var $button = $( '#mw-editbutton-codemirror' );
		$button.toggleClass( 'mw-editbutton-codemirror-active', !!useCodeMirror );
		if ( $button.data( 'setActive' ) ) {
			$button.data( 'setActive' )( !!useCodeMirror );
		}
	}
function updateToolbarButton ( ) { var $button = $ ( '#mw-editbutton-codemirror' ) ; $button . toggleClass ( 'mw-editbutton-codemirror-active' , ! ! useCodeMirror ) ; if ( $button . data ( 'setActive' ) ) { $button . data ( 'setActive' ) ( ! ! useCodeMirror ) ; } }
Updates CodeMirror button on the toolbar according to the current state (on/off)
Updates CodeMirror button on the toolbar according to the current state ( on / off )
// WikiEditor2010 OOUI ToggleButtonWidget