MediaWiki:Gadgets-definition

interface

 * rightsfilter|rightsfilter.js