MediaWiki  1.32.5
Gadget.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
GPL-2.0-or-later

Definition in file Gadget.php.