MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| 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 | * vector-headanchor[ResourceLoader|type=general]|vector-headanchor.js|vector-headanchor.css | ||
* Edittop[ResourceLoader]|edittop.js | |||
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