wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 19:39:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes/content
History
Aaron Schulz 5fd412b41d Code style/uniformity cleanups to GadgetDefinitionNamespaceRepo 
Change-Id: Ic49383ac1ef99494050005c3641aa6a758fe3e8c
2017-03-02 21:32:54 -08:00
..
GadgetDefinitionContent.php Convert PHP syntax from array() to [] 2016-12-28 13:51:30 +01: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 Implement 'peers' feature for loading extra styles-type gadgets 2017-01-02 14:45:09 +01:00
schema.json Remove redundant 'position', 'top', and getPosition() code 2016-11-18 13:55:30 -08:00