16,874
个编辑
“MediaWiki:Gadget-site-lib.codemirror.js”的版本间差异
小
无编辑摘要
小 |
小 |
||
|
} else { $target.append( content ); }
};
CodeMirror.runmode = function($pre) {
CodeMirror.download( 'wiki' ).then(function() { $pre.toArray().forEach( render ); });
};
//</nowiki>
// [[category:作为模块的小工具]] [[category:桌面版小工具]] [[category:手机版小工具]] [[category:系统工具]]
| |||