wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-09-23 10:20:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Remove suppression of PhanUndeclaredProperty for Parser property

Browse source 
Follow-Up: I701a27459704839f9f996a171b6982ed17cdd00b
Change-Id: I23c14835e5e3b60d21100e835039b8c9b39c72d3
This commit is contained in:
Umherirrender 2024-04-16 23:08:04 +02:00
parent fc5f22b32e
commit e009aa5ee5
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.phan/config.php
View file

@ -2,9 +2,6 @@
$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
// Due to creation of Parser::$extCite property
$cfg['suppress_issue_types'][] = 'PhanUndeclaredProperty';
/**
* Quick implementation of a recursive directory list.
* @param string $dir The directory to list