“MediaWiki:Gadget-wikEd”与“MediaWiki:Gadget-wikieditor-highlight”:页面之间的差异
(页面间差异)
跳到导航
跳到搜索
imported>=海豚= 无编辑摘要 |
imported>=海豚= 无编辑摘要 |
||
第1行: | 第1行: | ||
[[mw:extension:CodeMirror/zh|CodeMirror*]]<sub>—— 由 [[萌百:User:Bhsd|Bhsd]] 研发的针对默认 编辑 器的''' 代码 高亮工具'''。</sub> |
2021年11月13日 (六) 21:40的版本
CodeMirror*——由 Bhsd 研发的针对默认编辑器的代码高亮工具。