2023年7月14日 (五) 19:20的版本查看源代码 Gao66（留言 \| 贡献）行政员、界面管理员、管理员 152次编辑创建页面，内容为“*DotsSyntaxHighlighter[ResourceLoader]\|DotsSyntaxHighlighter.js”		2023年7月14日 (五) 19:23的最新版本查看源代码 Gao66（留言 \| 贡献）行政员、界面管理员、管理员 152次编辑小已保护“MediaWiki:Gadgets-definition”（[编辑=仅允许管理员]（无限期）[移动=仅允许管理员]（无限期））
（没有差异）

MediaWiki:Gadgets-definition：修订间差异

2023年7月14日 (五) 19:23的最新版本