MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
(add vivarium) |
m (trying, clean) |
||
| Line 11: | Line 11: | ||
== Experimental / Fun == | == Experimental / Fun == | ||
* Vivarium[ResourceLoader|hidden|default|categories=Vivarium.js]|Vivarium.js | * Vivarium[ResourceLoader|hidden|default|categories=Vivarium.js]|Vivarium.js | ||
Revision as of 12:58, 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
AuthorizedUsers
Experimental / Fun
- Vivarium[ResourceLoader|hidden|default|categories=Vivarium.js]|Vivarium.js