mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-15 11:31:40 +00:00
1a569b590b
Performed using: find . -name \*.php -exec php ~/convert.php -w "{}" \; Script from: https://github.com/thomasbachem/php-short-array-syntax-converter And convert syntax in comments manually. Change-Id: I7ea9e57f9ab1250c8687885ad9e010771603bf78 |
||
---|---|---|
.. | ||
GadgetDefinitionContent.php | ||
GadgetDefinitionContentHandler.php | ||
GadgetDefinitionDeletionUpdate.php | ||
GadgetDefinitionSecondaryDataUpdate.php | ||
GadgetDefinitionValidator.php | ||
schema.json |