wikimedia/mediawiki-extensions-TemplateStyles
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TemplateStyles synced 2024-12-01 03:16:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Suppress PhanUndeclaredProperty phan errors

Browse source 
For `\Parser->extTemplateStylesCache`, which is similar to Scribunto's
`\Parser->scribunto_engine`, which we also suppress.

Change-Id: If25dc88407ba33c09875577231a75b16d9cba8e7
This commit is contained in:
Kunal Mehta 2022-10-07 23:06:08 -04:00
parent 1e845b0578
commit 08cc84f3d0
1 changed files with 11 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
.phan/config.php
View file

@ -1,3 +1,13 @@
<?php
return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
$cfg['suppress_issue_types'] = array_merge(
$cfg['suppress_issue_types'],
[
// \Parser->extTemplateStylesCache
'PhanUndeclaredProperty',
]
);
return $cfg;