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 Chat (such as one of these permanent autoconfirmed members).
MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
(→browsing: Turn revisionjumper off by default.) |
(https://github.com/whatwg/misc-server/issues/119) |
||
| Line 11: | Line 11: | ||
== editing == | == editing == | ||
* HotCat[ResourceLoader | * HotCat[ResourceLoader]|HotCat.js | ||
* charinsert[ResourceLoader|default]|charinsert.js|charinsert.css | * charinsert[ResourceLoader|default]|charinsert.js|charinsert.css | ||
| Line 17: | Line 17: | ||
* edittop[default]|edittop.js | * edittop[default]|edittop.js | ||
* UTCLiveClock[ResourceLoader | * UTCLiveClock[ResourceLoader]|UTCLiveClock.js | ||
* PrettyLog[default]|PrettyLog.js | * PrettyLog[default]|PrettyLog.js | ||
* widensearch[ResourceLoader|default]|widensearch.css | * widensearch[ResourceLoader|default]|widensearch.css | ||
Revision as of 19:26, 1 January 2020
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]|HotCat.js
- charinsert[ResourceLoader|default]|charinsert.js|charinsert.css
appearance
- edittop[default]|edittop.js
- UTCLiveClock[ResourceLoader]|UTCLiveClock.js
- PrettyLog[default]|PrettyLog.js
- widensearch[ResourceLoader|default]|widensearch.css
compatibility
- DejaVu_Sans||DejaVu_Sans.css