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"
(https://github.com/whatwg/misc-server/issues/119) |
(Turn on ResourceLoader for gadgets that need it; turn off ReferenceTooltips by default.) |
||
| Line 3: | Line 3: | ||
== browsing == | == browsing == | ||
| − | * modrollback|modrollback.js | + | * modrollback[ResourceLoader]|modrollback.js |
* 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|revisionjumper.js | + | * revisionjumper[ResourceLoader]|revisionjumper.js |
| − | * ReferenceTooltips[ | + | * ReferenceTooltips[ResourceLoader]|ReferenceTooltips.js|ReferenceTooltips.css |
== editing == | == editing == | ||
| Line 16: | Line 16: | ||
== appearance == | == appearance == | ||
| − | * edittop[default]|edittop.js | + | * edittop[ResourceLoader|default]|edittop.js |
* UTCLiveClock[ResourceLoader]|UTCLiveClock.js | * UTCLiveClock[ResourceLoader]|UTCLiveClock.js | ||
| − | * PrettyLog[default]|PrettyLog.js | + | * PrettyLog[ResourceLoader|default]|PrettyLog.js |
* widensearch[ResourceLoader|default]|widensearch.css | * widensearch[ResourceLoader|default]|widensearch.css | ||
Latest revision as of 19:33, 1 January 2020
Contents
browsing
- modrollback[ResourceLoader]|modrollback.js
- WatchlistChangesBold[ResourceLoader|default]|WatchlistChangesBold.css
- exlinks[ResourceLoader|dependencies=mediawiki.util|default]|exlinks.js
- revisionjumper[ResourceLoader]|revisionjumper.js
- ReferenceTooltips[ResourceLoader]|ReferenceTooltips.js|ReferenceTooltips.css
editing
- HotCat[ResourceLoader]|HotCat.js
- charinsert[ResourceLoader|default]|charinsert.js|charinsert.css
appearance
- edittop[ResourceLoader|default]|edittop.js
- UTCLiveClock[ResourceLoader]|UTCLiveClock.js
- PrettyLog[ResourceLoader|default]|PrettyLog.js
- widensearch[ResourceLoader|default]|widensearch.css
compatibility
- DejaVu_Sans||DejaVu_Sans.css
