Toggle search
Search
Toggle menu
notifications
Toggle personal menu
MediaWiki
:
Gadgets-definition
MediaWiki interface page
More actions
Revision as of 16:06, 7 September 2019 by
Chao
(
talk
|
contribs
)
(move DropdownFilter code to Gadget-DropdownFilter.js)
(diff) ← Older revision |
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Interfaces
DropdownFilter[ResourceLoader|default|targets=desktop,mobile|type=general]|DropdownFilter.js