Toggle search
Toggle menu
196
962
160
10.6K
DSP Wiki
Toggle preferences menu
Toggle personal menu
Not logged in
Your IP address will be publicly visible if you make any edits.

MediaWiki:Gadgets-definition: Difference between revisions

MediaWiki interface page
More actions
Newer edit →
Content deleted Content added
VisualWikitext
No edit summary
(No difference)

Revision as of 07:10, 12 November 2023

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
Retrieved from "https://dev.dsp-wiki.com/index.php?title=MediaWiki:Gadgets-definition&oldid=15398"
🍪 We use cookies to keep session information to provide you a better experience.
Learn more