mediawiki-extensions-Scribunto/.phan/config.php
James D. Forrester efb73e9b3d build: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0
Change-Id: I289a94450f3053ecf6d4555525e6dc09a21a0ca3
2019-05-19 12:38:55 +00:00

32 lines
639 B
PHP

<?php
$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
$cfg['file_list'][] = 'Scribunto.php';
$cfg['directory_list'] = array_merge(
$cfg['directory_list'],
[
'vendor/mediawiki/lua-sandbox/stubs',
'../../extensions/SyntaxHighlight_GeSHi',
]
);
$cfg['exclude_analysis_directory_list'] = array_merge(
$cfg['exclude_analysis_directory_list'],
[
'vendor/mediawiki/lua-sandbox/stubs',
'../../extensions/SyntaxHighlight_GeSHi',
]
);
$cfg['suppress_issue_types'] = array_merge(
$cfg['suppress_issue_types'],
[
// \Parser->scribunto_engine
'PhanUndeclaredProperty',
]
);
return $cfg;