wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-23 23:33:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Upgrade to newer phan"

Browse source
This commit is contained in:
jenkins-bot 2019-03-21 06:55:46 +00:00 committed by Gerrit Code Review
parent 787057fe20 a21735b270
commit 671d14d351
3 changed files with 2 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -22,7 +22,6 @@ sftp-config.json
/docs
/node_modules
/vendor
/tests/phan/issues
# Operating systems
## Mac OS X

7
tests/phan/config.php → .phan/config.php
View file

@ -16,9 +16,4 @@
*
*/
$cfg = require __DIR__ . '/../../vendor/mediawiki/mediawiki-phan-config/src/config.php';
// phan doesn't support @inheritDoc yet
$cfg['suppress_issue_types'][] = 'PhanParamSignatureMismatch';
return $cfg;
return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';

2
composer.json
View file

@ -39,7 +39,7 @@
"mediawiki/mediawiki-codesniffer": "24.0.0",
"jakub-onderka/php-console-highlighter": "0.3.2",
"mediawiki/minus-x": "0.3.1",
"mediawiki/mediawiki-phan-config": "0.3.0"
"mediawiki/mediawiki-phan-config": "0.5.0"
},
"scripts": {
"fix": [