MediaWiki:Gadget-wikieditor-highlight：修订间差异

2021年11月13日 (六) 21:40的版本查看源代码 imported>=海豚= 无编辑摘要 ←上一编辑		2022年1月14日 (五) 00:55的最新版本查看源代码 imported>=海豚= 无编辑摘要
第1行：		第1行：
	[[mw:extension:CodeMirror/zh\|CodeMirror*]]<~~sub~~>——由 [[萌百:User:Bhsd\|Bhsd]] 研发的针对默认编辑器的'''代码高亮工具'''。</~~sub~~>		[[mw:extension:CodeMirror/zh\|CodeMirror*]]—<small>由 [[萌百:User:Bhsd\|Bhsd]] 开发的针对默认编辑器的'''代码高亮工具'''</small>