A user account is required in order to edit this wiki, but we've had to disable public user registrations due to spam.

To request an account, ask an autoconfirmed user on IRC (such as one of these permanent autoconfirmed members).

MediaWiki:Gadgets-definition

From WHATWG Wiki
Revision as of 18:46, 23 October 2012 by GPHemsley (talk | contribs) (Turn on a number of gadgets by default.)
Jump to: navigation, search


browsing

  • modrollback|modrollback.js
  • WatchlistChangesBold[ResourceLoader|default]|WatchlistChangesBold.css
  • exlinks[ResourceLoader|dependencies=mediawiki.util|default]|exlinks.js
  • revisionjumper[default]|revisionjumper.js
  • ReferenceTooltips[default]|ReferenceTooltips.js|ReferenceTooltips.css

editing

  • HotCat[ResourceLoader|default]|HotCat.js
  • charinsert[ResourceLoader|default]|charinsert.js|charinsert.css

appearance

  • edittop[default]|edittop.js
  • UTCLiveClock[ResourceLoader|default]|UTCLiveClock.js
  • PrettyLog[default]|PrettyLog.js
  • widensearch[ResourceLoader|default]|widensearch.css

compatibility

  • DejaVu_Sans||DejaVu_Sans.css