MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
Zhuyifei1999 (talk | contribs) (Add) |
Zhuyifei1999 (talk | contribs) (No ResourceLoader) |
||
| Line 7: | Line 7: | ||
* wikEd|wikEd.js | * wikEd|wikEd.js | ||
* charinsert[ResourceLoader|default]|charinsert.js|charinsert.css | * charinsert[ResourceLoader|default]|charinsert.js|charinsert.css | ||
* edittools-as-buttons[ | * edittools-as-buttons[default]|edittools-as-buttons.js | ||
== appearance-gadgets == | == appearance-gadgets == | ||
Revision as of 05:31, 24 June 2013
browse-gadgets
- Navigation_popups|popups.js|navpop.css
edit-gadgets
- wikEd|wikEd.js
- charinsert[ResourceLoader|default]|charinsert.js|charinsert.css
- edittools-as-buttons[default]|edittools-as-buttons.js
appearance-gadgets
- 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