16,874
个编辑
“MediaWiki:Gadget-site-lib.codemirror.js”的版本间差异
小
无编辑摘要
小 |
小 |
||
|
const promise = {javascript: null, css: null, lua: null, wiki: null},
aliases = { js: 'javascript', javascript: 'javascript', json: 'javascript', css: 'css',
lua: 'lua', scribunto: 'lua', wikitext: 'wiki', mediawiki: 'wiki', wiki: 'wiki'
};
CodeMirror.download = function(alias) {
const name = aliases[ alias.toLowerCase() ];
if (!(name in promise)) {
console.error( '无法识别的CodeMirror模式' );
throw null;
}▼
if (!promise[ name ]) {
if (name == 'wiki') {
observer = new IntersectionObserver(callback, {threshold: 0.01}); // jshint ignore: line
CodeMirror.runmode = function(pre) {
CodeMirror.download( 'wiki' ).then(function() { observer.observe( pre ); });
▲ }
};
//</nowiki>
| |||