wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-04 03:38:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes/content
History
Umherirrender 4de4305c6c Add missing @var and improve documentation 
Change-Id: Ib258665c3fe76eeadd32f949fe01d88e6f2fd70d
2020-12-18 00:21:49 +01:00
..
GadgetDefinitionContent.php build: Updating mediawiki/mediawiki-codesniffer to 20.0.0 2018-05-26 03:01:39 +00:00
GadgetDefinitionContentHandler.php Fix MediaWiki.Commenting.FunctionComment.MissingDocumentationProtected 2020-10-12 11:10:15 +02: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 missing @var and improve documentation 2020-12-18 00:21:49 +01:00
schema.json Remove redundant 'position', 'top', and getPosition() code 2016-11-18 13:55:30 -08:00