diff options
Diffstat (limited to 'www/wiki/extensions/CategoryTree/tests/phan/config.php')
-rw-r--r-- | www/wiki/extensions/CategoryTree/tests/phan/config.php | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/www/wiki/extensions/CategoryTree/tests/phan/config.php b/www/wiki/extensions/CategoryTree/tests/phan/config.php new file mode 100644 index 00000000..5559f8d9 --- /dev/null +++ b/www/wiki/extensions/CategoryTree/tests/phan/config.php @@ -0,0 +1,9 @@ +<?php + +$cfg = require __DIR__ . '/../../vendor/mediawiki/mediawiki-phan-config/src/config.php'; +// SpecialPage->categoryTreeCategories +$cfg['suppress_issue_types'][] = 'PhanUndeclaredProperty'; +// TitlePrefixSearch +$cfg['suppress_issue_types'][] = 'PhanDeprecatedClass'; + +return $cfg; |