wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-24 07:23:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes/content
History
libraryupgrader 33ecce01c0 build: Updating mediawiki/mediawiki-codesniffer to 20.0.0 
Change-Id: I210883a100f2060e9bff0d5066896ce35b45a788
2018-05-26 03:01:39 +00:00
..
GadgetDefinitionContent.php build: Updating mediawiki/mediawiki-codesniffer to 20.0.0 2018-05-26 03:01:39 +00:00
GadgetDefinitionContentHandler.php build: Updating mediawiki/mediawiki-codesniffer to 0.9.0 2017-06-20 00:06:01 -07:00
GadgetDefinitionDeletionUpdate.php Avoid hardcoding specific GadgetRepo implementations for cache invalidations 2017-11-07 12:13:11 -08:00
GadgetDefinitionSecondaryDataUpdate.php Avoid hardcoding specific GadgetRepo implementations for cache invalidations 2017-11-07 12:13:11 -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