MediaWiki:Gadgets-definition: Difference between revisions

MediaWiki interface page
No edit summary
 
m (1 revision imported: New Files)
 

Latest revision as of 11:54, 24 March 2024

browsing

  • Navigation-Popups[ResourceLoader|dependencies=mediawiki.api,mediawiki.user,mediawiki.util,user.options,mediawiki.jqueryMsg|type=general]|Navigation-Popups.js|Navigation-Popups.css

editing

  • Wikitext-Extension-VSCode[ResourceLoader|dependencies=mediawiki.util]|Wikitext-Extension.js|Wikitext-Extension.css
  • Wikitext-Extension-VSCodeInsiders[ResourceLoader|dependencies=mediawiki.util]|Wikitext-Extension.js|Wikitext-Extension.css
  • Wikitext-Extension-VSCodium[ResourceLoader|dependencies=mediawiki.util]|Wikitext-Extension.js|Wikitext-Extension.css

appearance

  • CommentsInLocalTime[ResourceLoader|dependencies=mediawiki.util,moment]|CommentsInLocalTime.js|CommentsInLocalTime.css
🍪 We use cookies to keep session information to provide you a better experience.