MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
(add Navigation_popups gadget, copied from wp:MediaWiki:Gadget-definition, per mw:Extension:Gadgets) |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
* Navigation_popups[ResourceLoader|dependencies=mediawiki.api,mediawiki.user,mediawiki.util,user.options,mediawiki.jqueryMsg|type=general]|popups.js|navpop.css | * Navigation_popups[ResourceLoader|dependencies=mediawiki.api,mediawiki.user,mediawiki.util,user.options,mediawiki.jqueryMsg|type=general]|popups.js|navpop.css | ||
* vector-headanchor[ResourceLoader|type=general]|vector-headanchor.js|vector-headanchor.css | |||
* Edittop[ResourceLoader]|edittop.js | |||
Latest revision as of 23:21, 3 June 2023
- Navigation_popups[ResourceLoader|dependencies=mediawiki.api,mediawiki.user,mediawiki.util,user.options,mediawiki.jqueryMsg|type=general]|popups.js|navpop.css
- vector-headanchor[ResourceLoader|type=general]|vector-headanchor.js|vector-headanchor.css
- Edittop[ResourceLoader]|edittop.js