wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-11 06:56:03 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes/Content
History
gerritbot b9da596fe8 Replace some moved Title class uses, now MediaWiki\Title\Title 
Bug: T321681
Change-Id: I9b9c59a564e81daf01bb99d48dc81c9357e94acc
2023-08-19 04:15:51 +00:00
..
GadgetDefinitionContent.php Namespace extension 2022-03-05 17:03:35 +00:00
GadgetDefinitionContentArmor.php Namespace extension 2022-03-05 17:03:35 +00:00
GadgetDefinitionContentHandler.php Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 04:15:51 +00:00
GadgetDefinitionDeletionUpdate.php GadgetRepo: Fix missing purging on delete and simplify hook handling 2022-04-05 21:39:45 +01:00
GadgetDefinitionSecondaryDataUpdate.php Namespace extension 2022-03-05 17:03:35 +00:00
GadgetDefinitionValidator.php Add support for ES6 gadgets, but with validation disabled 2022-10-20 22:03:18 +00:00
schema.json Fix field name in schema.json 2023-07-08 21:13:26 +05:30