mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer
synced 2024-11-30 10:54:39 +00:00
Upgrade to newer phan
Bug: T216928 Change-Id: I2b812745176550616c8d37859f2ad29cdf8fd4c3
This commit is contained in:
parent
8ec3cc3895
commit
60d08ba00b
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -2,4 +2,3 @@ docs/
|
|||
node_modules/
|
||||
vendor/
|
||||
/composer.lock
|
||||
tests/phan/issues
|
||||
|
|
|
@ -1,18 +1,18 @@
|
|||
<?php
|
||||
|
||||
$cfg = require __DIR__ . '/../../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
||||
$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
||||
|
||||
$cfg['directory_list'] = array_merge(
|
||||
$cfg['directory_list'],
|
||||
[
|
||||
'./../../extensions/BetaFeatures',
|
||||
'../../extensions/BetaFeatures',
|
||||
]
|
||||
);
|
||||
|
||||
$cfg['exclude_analysis_directory_list'] = array_merge(
|
||||
$cfg['exclude_analysis_directory_list'],
|
||||
[
|
||||
'./../../extensions/BetaFeatures',
|
||||
'../../extensions/BetaFeatures',
|
||||
]
|
||||
);
|
||||
|
|
@ -4,7 +4,7 @@
|
|||
"jakub-onderka/php-console-highlighter": "0.3.2",
|
||||
"mediawiki/mediawiki-codesniffer": "24.0.0",
|
||||
"mediawiki/minus-x": "0.3.1",
|
||||
"mediawiki/mediawiki-phan-config": "0.3.0"
|
||||
"mediawiki/mediawiki-phan-config": "0.5.0"
|
||||
},
|
||||
"scripts": {
|
||||
"fix": [
|
||||
|
|
Loading…
Reference in a new issue