MediaWiki:Gadgets-definition:修订间差异

删除7字节 、​ 2022年8月1日 (星期一)
无编辑摘要
无编辑摘要
无编辑摘要
== Edit ==
* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
* <!--Wikiplus[ResourceLoader|type=general|rights=edit]|Wikiplus.js-->
* PrismLoader[ResourceLoader]|PrismLoader.js
 
维护员、​界面管理员、​巡查员、​监督员、​小部件编辑者
3,462

个编辑