mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2025-01-08 20:04:09 +00:00
e99e181303
Depends-On: I09a0c0a786b687997e61344847f8af08b20cebf2 Change-Id: I9500232fb524e884d6cb15f2bdda10835df35ad4 |
||
---|---|---|
.. | ||
GadgetDefinitionContent.php | ||
GadgetDefinitionContentHandler.php | ||
GadgetDefinitionDeletionUpdate.php | ||
GadgetDefinitionSecondaryDataUpdate.php | ||
GadgetDefinitionValidator.php | ||
schema.json |