wikimedia/mediawiki-extensions-MultimediaViewer
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer synced 2024-12-17 18:30:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add phan configuration

Browse source 
Change-Id: I5d1c03978d6d018ea3e6fc0927598b5a2c931b85
This commit is contained in:
Kunal Mehta 2018-04-14 01:03:51 -07:00
parent e735c9bcff
commit b24f75a2ef
3 changed files with 22 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -2,3 +2,4 @@ docs/
node_modules/ node_modules/
vendor/ vendor/
/composer.lock /composer.lock
tests/phan/issues

3
composer.json
View file

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

19
tests/phan/config.php Normal file
View file

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