wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-27 09:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Don't manually suppress PhanDeprecatedClass

Browse source 
Already disabled by default in mediawiki-phan-config 0.3.0.

Change-Id: Ic8844c404776b4a84902bdbaaefb5e367c8b39c6
This commit is contained in:
Kunal Mehta 2018-06-08 13:43:11 -07:00
parent 015ad81f49
commit d7b731bf3b
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/phan/config.php
View file

@ -3,7 +3,5 @@
$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;