48
edits
Difference between revisions of "MediaWiki:Gadgets-definition"
Jump to navigation
Jump to search
MediaWiki:Gadgets-definition (view source)
Revision as of 23:52, 23 January 2022
, 23:52, 23 January 2022no edit summary
| Line 10: | Line 10: | ||
== Browsing == | == Browsing == | ||
Navigation_popups[ResourceLoader|dependencies=mediawiki.user,mediawiki.util]|popups.js|popups-strings-ko.js|navpop.css | * Navigation_popups[ResourceLoader|dependencies=mediawiki.user,mediawiki.util]|popups.js|popups-strings-ko.js|navpop.css | ||
* HotCat[ResourceLoader|targets=desktop,mobile|rights=edit,purge]|HotCat.js | |||
* edittools[ResourceLoader|default|hidden|dependencies=jquery.textSelection,user,mediawiki.storage]|edittools.js | |||