mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-27 09:43:06 +00:00
d7b731bf3b
Already disabled by default in mediawiki-phan-config 0.3.0. Change-Id: Ic8844c404776b4a84902bdbaaefb5e367c8b39c6
8 lines
208 B
PHP
8 lines
208 B
PHP
<?php
|
|
|
|
$cfg = require __DIR__ . '/../../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
|
// SpecialPage->categoryTreeCategories
|
|
$cfg['suppress_issue_types'][] = 'PhanUndeclaredProperty';
|
|
|
|
return $cfg;
|