Merge "build: Updating mediawiki/mediawiki-phan-config to 0.10.6"

This commit is contained in:
jenkins-bot 2020-12-23 07:41:52 +00:00 committed by Gerrit Code Review
commit 9d16a71cea
1 changed files with 3 additions and 2 deletions

View File

@ -34,7 +34,7 @@
},
"require-dev": {
"mediawiki/mediawiki-codesniffer": "34.0.0",
"mediawiki/mediawiki-phan-config": "0.10.5",
"mediawiki/mediawiki-phan-config": "0.10.6",
"mediawiki/minus-x": "1.1.0",
"php-parallel-lint/php-console-highlighter": "0.5.0",
"php-parallel-lint/php-parallel-lint": "1.2.0"
@ -48,6 +48,7 @@
"parallel-lint . --exclude node_modules --exclude vendor",
"phpcs -p -s",
"minus-x check ."
]
],
"phan": "phan -d . --long-progress-bar"
}
}