MediaWiki:Gadget-wikieditor-highlight.js:修订间差异
跳到导航
跳到搜索
imported>=海豚= 无编辑摘要 |
imported>=海豚= (以“if([ 'edit','submit'].indexOf(mw.config.get('wgAction')) !== -1 && mw.config.get("wgPageContentModel") === 'wikitext') { mw.loader.load('/index.php?title=User:=海豚=/js/C…”替换内容) |
||
第1行: | 第1行: | ||
if([ 'edit','submit'].indexOf(mw.config.get('wgAction')) !== -1 && mw.config.get("wgPageContentModel") === 'wikitext') { | |||
mw.loader.load('/index.php?title=User:=海豚=/js/CodeMirror.js&action=raw&ctype=text/javascript'); | |||
} | |||