Gadget:WikiEditorModify.js:修订间差异

添加183字节 、​ 2022年11月22日 (星期二)
// Edit via Wikiplus
(// Edit via Wikiplus)
(// Edit via Wikiplus)
第140行: 第140行:
           tip: "用pre预格式化文本块",
           tip: "用pre预格式化文本块",
           wiki: "<pre>$1</pre>",
           wiki: "<pre>$1</pre>",
          $1: "纯文本"
        }, {
          disp: "语法高亮",
          tip: "用syntaxhighlight进行语法高亮",
          wiki: "<syntaxhighlight>$1</syntaxhighlight>",
           $1: "纯文本"
           $1: "纯文本"
         }, {
         }, {
维护员、​界面管理员、​巡查员、​监督员、​小部件编辑者
3,469

个编辑