MediaWiki  1.30.0
Gadgets_body.php File Reference

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...
 

Detailed Description

Gadgets extension - lets users select custom javascript gadgets.

For more info see https://www.mediawiki.org/wiki/Extension:Gadgets

Author
Daniel Kinzler, brightbyte.de
Note
© 2007 Daniel Kinzler
GNU General Public Licence 2.0 or later

Definition in file Gadgets_body.php.