wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 11:31:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes/content
History
Umherirrender f102194baf Add phpcs and make pass 
Change-Id: I02b7f85f54ffaf8a1c9d5bed6fa20abb1627afe5
2017-05-31 16:36:45 +02:00
..
GadgetDefinitionContent.php Add phpcs and make pass 2017-05-31 16:36:45 +02:00
GadgetDefinitionContentHandler.php Implement 'peers' feature for loading extra styles-type gadgets 2017-01-02 14:45:09 +01:00
GadgetDefinitionDeletionUpdate.php Code style/uniformity cleanups to GadgetDefinitionNamespaceRepo 2017-03-02 21:32:54 -08:00
GadgetDefinitionSecondaryDataUpdate.php Code style/uniformity cleanups to GadgetDefinitionNamespaceRepo 2017-03-02 21:32:54 -08:00
GadgetDefinitionValidator.php Add phpcs and make pass 2017-05-31 16:36:45 +02:00
schema.json Remove redundant 'position', 'top', and getPosition() code 2016-11-18 13:55:30 -08:00