mediawiki-extensions-Relate.../.phan/config.php
James D. Forrester 1961f3ac94 build: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0
Change-Id: I9f30135be10f0f4d6b085fa68cdde6b481edf268
2019-05-19 12:51:24 +00:00

20 lines
359 B
PHP

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