mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-28 01:00:02 +00:00
4197a00409
This way it works out of the box during minimal local dev environments without requiring additional native extensions. The repo is small enough that it's fast enough either way. Change-Id: I0c789f266cb01f31bb42cb9f960cae0bb4c293df
23 lines
533 B
JSON
23 lines
533 B
JSON
{
|
|
"require-dev": {
|
|
"mediawiki/mediawiki-codesniffer": "41.0.0",
|
|
"mediawiki/mediawiki-phan-config": "0.12.1",
|
|
"mediawiki/minus-x": "1.1.1",
|
|
"php-parallel-lint/php-console-highlighter": "1.0.0",
|
|
"php-parallel-lint/php-parallel-lint": "1.3.2"
|
|
},
|
|
"scripts": {
|
|
"fix": [
|
|
"minus-x fix .",
|
|
"phpcbf"
|
|
],
|
|
"test": [
|
|
"parallel-lint . --exclude node_modules --exclude vendor",
|
|
"@phpcs",
|
|
"minus-x check ."
|
|
],
|
|
"phan": "phan -d . --long-progress-bar --allow-polyfill-parser",
|
|
"phpcs": "phpcs -sp --cache"
|
|
}
|
|
}
|