MediaWiki REL1_34
|
Directories | |
api | |
content | |
Files | |
Gadget.php | |
Gadgets extension - lets users select custom javascript gadgets. | |
GadgetDefinitionNamespaceRepo.php | |
GadgetHooks.php | |
Copyright © 2007 Daniel Kinzler. | |
GadgetRepo.php | |
GadgetResourceLoaderModule.php | |
MediaWikiGadgetsDefinitionRepo.php | |
SpecialGadgets.php | |
Special:Gadgets, provides a preview of MediaWiki:Gadgets. | |
SpecialGadgetUsage.php | |
Implements Special:GadgetUsage. | |