48
edits
Difference between revisions of "MediaWiki:Gadgets-definition"
MediaWiki:Gadgets-definition (view source)
Revision as of 00:08, 24 January 2022
, 00:08, 24 January 2022no edit summary
| Line 10: | Line 10: | ||
== Browsing == | == Browsing == | ||
* Navigation_popups[ResourceLoader| | * Navigation_popups[ResourceLoader|type=general]|popups.js|navpop.css | ||
* HotCat[ResourceLoader|targets=desktop,mobile|rights=edit,purge]|HotCat.js | * HotCat[ResourceLoader|targets=desktop,mobile|rights=edit,purge]|HotCat.js | ||
* edittools[ResourceLoader|default|hidden|dependencies=jquery.textSelection,user,mediawiki.storage]|edittools.js | * edittools[ResourceLoader|default|hidden|dependencies=jquery.textSelection,user,mediawiki.storage]|edittools.js | ||