“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 研发的针对默认编辑器的代码高亮工具。