MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
No edit summary Tag: Manual revert |
(No difference)
|
Latest revision as of 20:44, 4 June 2022
editing-gadgets
- purgetab[ResourceLoader]|purgetab.js
interface-gadgets
- ScrollingSidebar[ResourceLoader]|ScrollingSidebar.js
- ep-nav[ResourceLoader]|ep-nav.js