Index of /wiki/extensions/Gadgets/includes/
| Name | Last Modified | Size |
|---|---|---|
 Parent Directory | ||
 content | 2022-11-25 05:47 | - |
![[TXT]](/_autoindex/assets/icons/file-text.svg){kind=icon} GadgetDefinitionNamespaceRepo.php | 2016-11-29 02:21 | 3k |
| GadgetRepo.php | 2016-11-29 02:21 | 2k |
| GadgetResourceLoaderModule.php | 2016-11-29 02:21 | 3k |
| MediaWikiGadgetsDefinitionRepo.php | 2016-11-29 02:21 | 7k |