MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
m (→editing gadgets: add CharInsertButtons) |
|||
| Line 5: | Line 5: | ||
== editing gadgets == | == editing gadgets == | ||
* CharInsertButtons[ResourceLoader|default|actions=edit]|CharInsertButtons.css | |||
== AuthorizedUsers == | == AuthorizedUsers == | ||
Revision as of 13:45, 2 May 2024
interface gadgets
- Navigation_popups[ResourceLoader|dependencies=mediawiki.api,mediawiki.user,mediawiki.util,user.options,mediawiki.jqueryMsg|type=general]|popups.js|navpop.css
- vector-headanchor[ResourceLoader|type=general]|vector-headanchor.js|vector-headanchor.css
- Edittop[ResourceLoader]|edittop.js
editing gadgets
- CharInsertButtons[ResourceLoader|default|actions=edit]|CharInsertButtons.css
AuthorizedUsers
Experimental / Fun
- Vivarium[ResourceLoader|default|categories=Vivarium.js]|Vivarium.js
- Formicarium[ResourceLoader|default|categories=Formicarium.js]|Formicarium.js
Global
- Global-Vivarium[ResourceLoader]|Global-Vivarium.js|Global-Vivarium.css