Change-Id: I3557e798690f895bd7e8b3caf49d788c66a6a374
This commit is contained in:
Umherirrender 2019-05-31 20:35:50 +02:00
parent f296d64883
commit b9902ec775
2 changed files with 27 additions and 1 deletions

25
.phan/config.php Normal file
View file

@ -0,0 +1,25 @@
<?php
$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
$cfg['file_list'][] = 'MathLaTeXML.php';
$cfg['directory_list'] = array_merge(
$cfg['directory_list'],
[
'../../extensions/VisualEditor',
'../../extensions/Wikibase/repo',
'../../extensions/Wikibase/lib',
]
);
$cfg['exclude_analysis_directory_list'] = array_merge(
$cfg['exclude_analysis_directory_list'],
[
'../../extensions/VisualEditor',
'../../extensions/Wikibase/repo',
'../../extensions/Wikibase/lib',
]
);
return $cfg;

View file

@ -3,7 +3,8 @@
"jakub-onderka/php-parallel-lint": "1.0.0",
"mediawiki/mediawiki-codesniffer": "24.0.0",
"jakub-onderka/php-console-highlighter": "0.3.2",
"mediawiki/minus-x": "0.3.1"
"mediawiki/minus-x": "0.3.1",
"mediawiki/mediawiki-phan-config": "0.6.0"
},
"scripts": {
"test": [