wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-23 15:56:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Remove suppression of PhanUndeclaredProperty for Parser property

Browse source 
Follow-Up: I701a27459704839f9f996a171b6982ed17cdd00b
Change-Id: I23523d45efd8c1e6707d4fb2e3cae981d07f139a
This commit is contained in:
Umherirrender 2024-04-16 23:10:01 +02:00 committed by jenkins-bot
parent bdf882e1c9
commit f79457d27b
1 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
.phan/config.php
View file

@ -26,12 +26,4 @@ $cfg['exclude_analysis_directory_list'] = array_merge(
]
);
$cfg['suppress_issue_types'] = array_merge(
$cfg['suppress_issue_types'],
[
// \Parser->scribunto_engine
'PhanUndeclaredProperty',
]
);
return $cfg;