mediawiki-extensions-Gadgets/includes
Siddharth VP adda8a6649 Show gadget definition validation warnings in Special:Gadgets
Bug: T298334
Change-Id: Id241125b9b8abfb971dfa600ab0df9c6047f2b32
2023-11-30 21:59:04 +00:00
..
Api docs: Make PHP file headers more consistent 2023-10-30 18:10:58 -04:00
Content Various PHP code cleanups 2023-11-22 09:53:48 +01:00
Special Show gadget definition validation warnings in Special:Gadgets 2023-11-30 21:59:04 +00:00
CodeEditorHooks.php Use HookHandlers for CodeEditor hook 2023-08-16 05:30:40 +00:00
Gadget.php Show gadget definition validation warnings in Special:Gadgets 2023-11-30 21:59:04 +00:00
GadgetDefinitionNamespaceRepo.php Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 04:15:51 +00:00
GadgetLoadConditions.php docs: Make PHP file headers more consistent 2023-10-30 18:10:58 -04:00
GadgetRepo.php Show gadget definition validation warnings in Special:Gadgets 2023-11-30 21:59:04 +00:00
GadgetResourceLoaderModule.php Gadget maintains its own version of targets system 2023-06-29 16:20:29 -07:00
Hooks.php Show gadget definition validation warnings in Special:Gadgets 2023-11-30 21:59:04 +00:00
MediaWikiGadgetsDefinitionRepo.php Various PHP code cleanups 2023-11-22 09:53:48 +01:00