MediaWiki:Gadget-DotsSyntaxHighlighter.js：修订间差异

MediaWiki:Gadget-DotsSyntaxHighlighter.js (查看源代码)

添加2字节、 2021年4月18日 (星期日)

无编辑摘要

匿名用户

@@ 第1行： / 第1行： @@
-if(['view', 'edit'].indexOf(mw.config.get('wgAction')) !== -1 && mw.config.get("wgPageContentModel") === 'wikitext') {
+if([ 'edit','submit'].indexOf(mw.config.get('wgAction')) !== -1 && mw.config.get("wgPageContentModel") === 'wikitext') {
 	mw.loader.load('/index.php?title=User:=海豚=/tools/codemirror.js&action=raw&ctype=text/javascript');
 	mw.loader.load('/index.php?title=User:=海豚=/tools/codemirror.css&action=raw&ctype=text/css', 'text/css');