mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ParserFunctions
synced 2024-11-24 00:06:21 +00:00
Add phan configuration
Change-Id: I1127f08213d5ce3f33381506027dc8129cf6aa6c
This commit is contained in:
parent
9f94cebdaa
commit
2abee407f2
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -22,3 +22,4 @@ project.index
|
|||
## Sublime
|
||||
sublime-*
|
||||
sftp-config.json
|
||||
tests/phan/issues
|
||||
|
|
|
@ -3,7 +3,8 @@
|
|||
"jakub-onderka/php-parallel-lint": "0.9.2",
|
||||
"jakub-onderka/php-console-highlighter": "0.3.2",
|
||||
"mediawiki/mediawiki-codesniffer": "16.0.0",
|
||||
"mediawiki/minus-x": "0.3.1"
|
||||
"mediawiki/minus-x": "0.3.1",
|
||||
"mediawiki/mediawiki-phan-config": "0.1.0"
|
||||
},
|
||||
"scripts": {
|
||||
"fix": [
|
||||
|
|
21
tests/phan/config.php
Normal file
21
tests/phan/config.php
Normal file
|
@ -0,0 +1,21 @@
|
|||
<?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',
|
||||
]
|
||||
);
|
||||
|
||||
$cfg['suppress_issue_types'][] = 'PhanDeprecatedFunction';
|
||||
|
||||
return $cfg;
|
Loading…
Reference in a new issue