mediawiki-extensions-CodeMi.../.phan/config.php

<?php

$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';

$cfg['directory_list'] = array_merge(
	$cfg['directory_list'],
	[
		'../../extensions/Gadgets',
	]
);

$cfg['exclude_analysis_directory_list'] = array_merge(
	$cfg['exclude_analysis_directory_list'],
	[
		'../../extensions/Gadgets',
	]
);

return $cfg;
Add phan Change-Id: I77ffd9a2f20c736a12528bd86ec6e2fa4425d167 2019-04-09 18:35:56 +00:00			`<?php`

Use service 'GadgetsRepo' instead of deprecated GadgetRepo::singleton() The service 'GadgetsRepo' gets injected as optional service. This change requires a phan dependency on extension Gadgets in project integration/config in file zuul/parameter_functions.py: I5052e0c666b7dc7af6061e57001f9feac666e029 Change-Id: Ib405ad79b3c348bed51a8938a6a8f73bd35267d2 2024-06-29 21:36:41 +00:00			`$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';`

			`$cfg['directory_list'] = array_merge(`
			`$cfg['directory_list'],`
			`[`
			`'../../extensions/Gadgets',`
			`]`
			`);`

			`$cfg['exclude_analysis_directory_list'] = array_merge(`
			`$cfg['exclude_analysis_directory_list'],`
			`[`
			`'../../extensions/Gadgets',`
			`]`
			`);`

			`return $cfg;`