MediaWiki
1.30.0
|
Gadgets extension - lets users select custom javascript gadgets. More...
Go to the source code of this file.
Classes | |
class | Gadget |
Wrapper for one gadget. More... | |
Gadgets extension - lets users select custom javascript gadgets.
For more info see https://www.mediawiki.org/wiki/Extension:Gadgets
Definition in file Gadgets_body.php.