Closed bhsd-harry closed 5 months ago
Update MediaWiki:Gadget-wikieditor-highlight.js using CodeMirror 6
Beta version for techedit
可以,新建一个小工具,配置权限为techedit吧
Originally posted by @lovelyCARDINAL in https://github.com/MoegirlPediaInterfaceAdmins/MoegirlPediaInterfaceCodes/issues/392#issuecomment-1890370139
已完成。等测试成熟后再转移入原gadget。
Update MediaWiki:Gadget-wikieditor-highlight.js using CodeMirror 6
Beta version for techedit