mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-30 18:14:21 +00:00
01f6a6c34e
Bug: T278278 Change-Id: I49b57e68079c998419e235b1727eea8c121c234b |
||
---|---|---|
.. | ||
GadgetDefinitionContent.php | ||
GadgetDefinitionContentArmor.php | ||
GadgetDefinitionContentHandler.php | ||
GadgetDefinitionDeletionUpdate.php | ||
GadgetDefinitionSecondaryDataUpdate.php | ||
GadgetDefinitionValidator.php | ||
schema.json |