MediaWiki:Gadgets-definition


 * RecentChangesRefresh[ResourceLoader|default|hidden]|RecentChangesRefresh.js