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).

Difference between revisions of "MediaWiki:Gadgets-definition"

From WHATWG Wiki
Jump to: navigation, search
(Turn on a number of gadgets by default.)
(browsing: Turn revisionjumper off by default.)
 
Line 6: Line 6:
 
* WatchlistChangesBold[ResourceLoader|default]|WatchlistChangesBold.css
 
* WatchlistChangesBold[ResourceLoader|default]|WatchlistChangesBold.css
 
* exlinks[ResourceLoader|dependencies=mediawiki.util|default]|exlinks.js
 
* exlinks[ResourceLoader|dependencies=mediawiki.util|default]|exlinks.js
* revisionjumper[default]|revisionjumper.js
+
* revisionjumper|revisionjumper.js
 
* ReferenceTooltips[default]|ReferenceTooltips.js|ReferenceTooltips.css
 
* ReferenceTooltips[default]|ReferenceTooltips.js|ReferenceTooltips.css
  

Latest revision as of 22:36, 7 November 2012


browsing

  • modrollback|modrollback.js
  • WatchlistChangesBold[ResourceLoader|default]|WatchlistChangesBold.css
  • exlinks[ResourceLoader|dependencies=mediawiki.util|default]|exlinks.js
  • revisionjumper|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