MediaWiki:Gadgets-definition：修订间差异

MediaWiki:Gadgets-definition (查看源代码)

添加87字节、 2020年8月3日 (星期一)

无编辑摘要

783

个编辑

@@ 第1行： / 第1行： @@
+==语法高亮==
+* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
 * wikEd[ResourceLoader]|wikEd.js
+----
 * Navigation popups[ResourceLoader]|popups.js|popups.css