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
Siddharth VP 22752225a1 Make GadgetRepo a service 
Turn GadgetRepo into a service, deprecate GadgetRepo::singleton()

Change-Id: I0ab14ca936eec1eead91d4eb0970f898628c8388
2023-12-05 17:38:41 -06:00
..
GadgetDefinitionContent.php docs: Make PHP file headers more consistent 2023-10-30 18:10:58 -04:00
GadgetDefinitionContentArmor.php docs: Make PHP file headers more consistent 2023-10-30 18:10:58 -04:00
GadgetDefinitionContentHandler.php Various PHP code cleanups 2023-11-22 09:53:48 +01:00
GadgetDefinitionDeletionUpdate.php Make GadgetRepo a service 2023-12-05 17:38:41 -06:00
GadgetDefinitionSecondaryDataUpdate.php Make GadgetRepo a service 2023-12-05 17:38:41 -06:00
GadgetDefinitionValidator.php Add support for content models in definitions 2023-09-21 22:27:22 +05:30
schema.json Add support for content models in definitions 2023-09-21 22:27:22 +05:30