This is the complete list of members for MediaWiki\Preferences\Filter, including all inherited members.