MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
(adding some basic gadget definitions) |
(No difference)
|
Revision as of 21:05, 20 June 2013
Browsing Enhancements
- Navigation_popups|popups.js|navpop.css
Editing Enhancements
- wikEd|wikEd.js
- charinsert[ResourceLoader|default]|charinsert.js|charinsert.css
Appearance Enhancements
- edittop|edittop.js
- UTCLiveClock[ResourceLoader]|UTCLiveClock.js
- mySandbox[ResourceLoader|dependencies=mediawiki.util,mediawiki.Title,mediawiki.Uri|default|rights=createpage]|mySandbox.js
- purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js