MediaWiki:Gadgets-definition:修订间差异

添加114字节 、​ 2023年1月31日 (星期二)
无编辑摘要
无编辑摘要
无编辑摘要
* force-refresh[ResourceLoader|targets=desktop]|force-refresh.js
* PrismLoader[ResourceLoader]|PrismLoader.js
 
== Patrol ==
* patrol-buttom-highlight[ResourceLoader|targets=desktop|rights=patrol]|patrol-buttom-highlight.css
 
== System ==