16,874
个编辑
“MediaWiki:Gadget-site-lib.codemirror.js”的版本间差异
// 使用Wikiplus小工具快速编辑
小 |
（// 使用Wikiplus小工具快速编辑） |
||
| （未显示同一用户的5个中间版本） | |||
|
if (name == 'wiki') {
promise[ name ] = mw.config.get( 'extCodeMirrorConfig' ) ? Promise.resolve() : // 兼容CodeMirror扩展
mw.loader.using('ext.CodeMirror.data');
$.get({ dataType: 'json', cache: true,▼
);▼
} else {
promise[ name ] =
? mw.loader.using('ext.CodeMirror.lib.mode.' + name)
url: '//cdn.jsdelivr.net/npm/codemirror@5.35.0/mode/' + name + '/' + name + '.min.js'▼
▲ url: '//cdn.jsdelivr.net/npm/codemirror@5.35.0/mode/' + name + '/' + name + '.min.js'
▲ });
}
}
* @Source: [https://codemirror.net/addon/runmode/runmode.js]
* @EditedBy: [[User:Bhsd]]
* @Param {
*/
const render = function(
const mode = CodeMirror.getMode({mwConfig: mw.config.get( 'extCodeMirrorConfig' )}, 'mediawiki'),
$target = $(
lines = CodeMirror.splitLines( $target.text().trim() ),
state = mode.startState(),
);
}
$('<span>', { text: stream.current()
return !ele.startsWith( 'line-' );
}).map(function(ele) { return 'cm-' + ele; }).join( ' ' ) }).appendTo( $line );
stream.start = stream.pos;
}
}).css('padding-left', (content.length + start - 1).toString().length + 2.5 + 'ch').appendTo( $target );
} else { $target.append( content ); }
}
CodeMirror.download( 'wiki' ).then(function() { $pre.toArray().forEach( render ); });▼
▲CodeMirror.runmode = function(pre, force) {
▲ CodeMirror.download( 'wiki' ).then(function() {
};
//</nowiki>
| |||