mediawiki-extensions-Parser.../.phan/config.php
Kunal Mehta ab601a2ca7 Upgrade to newer phan
Bug: T216933
Change-Id: If8a63da99343597b7f8c131f3656945eaf67d819
2019-03-16 22:39:09 -07:00

20 lines
351 B
PHP

<?php
$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
$cfg['directory_list'] = array_merge(
$cfg['directory_list'],
[
'../../extensions/Scribunto',
]
);
$cfg['exclude_analysis_directory_list'] = array_merge(
$cfg['exclude_analysis_directory_list'],
[
'../../extensions/Scribunto',
]
);
return $cfg;