mirror of
https://github.com/Universal-Omega/PortableInfobox.git
synced 2024-12-18 19:20:31 +00:00
ccc6a3b591
* Update mediawiki/mediawiki-phan-config requirement from 0.12.1 to 0.14.0 Updates the requirements on [mediawiki/mediawiki-phan-config](https://github.com/wikimedia/mediawiki-tools-phan) to permit the latest version. - [Changelog](https://github.com/wikimedia/mediawiki-tools-phan/blob/master/HISTORY.md) - [Commits](https://github.com/wikimedia/mediawiki-tools-phan/compare/0.12.1...0.14.0) --- updated-dependencies: - dependency-name: mediawiki/mediawiki-phan-config dependency-type: direct:development ... Signed-off-by: dependabot[bot] <support@github.com> * Ignore for now --------- Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: CosmicAlpha <cosmic.alpha24@gmail.com>
27 lines
550 B
PHP
27 lines
550 B
PHP
<?php
|
|
|
|
$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
|
|
|
$cfg['directory_list'] = array_merge(
|
|
$cfg['directory_list'], [
|
|
'../../extensions/PageImages',
|
|
]
|
|
);
|
|
|
|
$cfg['exclude_analysis_directory_list'] = array_merge(
|
|
$cfg['exclude_analysis_directory_list'], [
|
|
'../../extensions/PageImages',
|
|
]
|
|
);
|
|
|
|
$cfg['suppress_issue_types'] = [
|
|
'MediaWikiNoEmptyIfDefined',
|
|
'PhanPluginMixedKeyNoKey',
|
|
'SecurityCheck-LikelyFalsePositive',
|
|
'UnusedPluginSuppression',
|
|
];
|
|
|
|
$cfg['scalar_implicit_cast'] = true;
|
|
|
|
return $cfg;
|