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
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
..
Api i18n: Split apihelp for parameter list=gadgets/gadgetcategories prop= 2023-08-05 01:47:04 +02:00
Content Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 04:15:51 +00:00
CodeEditorHooks.php Use HookHandlers for CodeEditor hook 2023-08-16 05:30:40 +00:00
Gadget.php Use strict equality with in_array 2023-07-24 18:41:00 +01:00
GadgetDefinitionNamespaceRepo.php Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 04:15:51 +00:00
GadgetLoadConditions.php Gadget maintains its own version of targets system 2023-06-29 16:20:29 -07:00
GadgetRepo.php Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 04:15:51 +00:00
GadgetResourceLoaderModule.php Gadget maintains its own version of targets system 2023-06-29 16:20:29 -07:00
Hooks.php Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 04:15:51 +00:00
MediaWikiGadgetsDefinitionRepo.php Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 04:15:51 +00:00
SpecialGadgets.php Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 04:15:51 +00:00
SpecialGadgetUsage.php Use strict equality with in_array 2023-07-24 18:41:00 +01:00