MediaWiki:Gadget-wikieditor-highlight.js:修订间差异

无编辑摘要
imported>=海豚=
无编辑摘要
imported>=海豚=
无编辑摘要
第408行: 第408行:
                return [2 /*return*/ ];
                return [2 /*return*/ ];
              }
              }
             if(typeof CodeMirror === 'undefined') {
  setTimeout(checkVariable, 100);
  return;
}
              $form = $(document.editform);
              $form = $(document.editform);
              btn = new OO.ui.ButtonWidget({
              btn = new OO.ui.ButtonWidget({
匿名用户