mediawiki-extensions-SpamBl.../.phan/config.php
James D. Forrester eefa68535f build: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0
Change-Id: I0e36ef4d87bc1c41002125f7375b95ef5d0cca85
2019-05-19 12:37:10 +00:00

22 lines
421 B
PHP

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