mediawiki-extensions-Gadgets/includes
thiemowmde c4680366ac Various PHP code cleanups
… e.g. using modern syntax, or avoiding unnecessarily complex
language features. For example, we don't need to call count() when
all we care about is the boolean "is empty/not empty" information.

Change-Id: I13ae802f64627a79b29d1e57ad71486cb2fb977f
2023-11-22 09:53:48 +01: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 docs: Make PHP file headers more consistent 2023-10-30 18:10:58 -04:00
CodeEditorHooks.php Use HookHandlers for CodeEditor hook 2023-08-16 05:30:40 +00:00
Gadget.php Various PHP code cleanups 2023-11-22 09:53:48 +01: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 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 Various PHP code cleanups 2023-11-22 09:53:48 +01:00
MediaWikiGadgetsDefinitionRepo.php Various PHP code cleanups 2023-11-22 09:53:48 +01:00