mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-14 19:31:55 +00:00
d36d7b2aea
We cannot set this in the normal "require-dev" because the plugin depends on exactly PHP 7.0, preventing running tests on any other PHP version. Instead, CI will read the version number out of the "extra" field to figure out what version to install. Bug: T187497 Change-Id: I1233804d400eb5919bee6d9e870c0578f87b52fa
24 lines
461 B
JSON
24 lines
461 B
JSON
{
|
|
"license": "GPL-2.0+",
|
|
"require-dev": {
|
|
"jakub-onderka/php-parallel-lint": "0.9.2",
|
|
"mediawiki/mediawiki-codesniffer": "16.0.0",
|
|
"jakub-onderka/php-console-highlighter": "0.3.2",
|
|
"mediawiki/minus-x": "0.3.0"
|
|
},
|
|
"scripts": {
|
|
"test": [
|
|
"parallel-lint . --exclude vendor --exclude node_modules",
|
|
"phpcs -p -s",
|
|
"minus-x check ."
|
|
],
|
|
"fix": [
|
|
"phpcbf",
|
|
"minus-x fix ."
|
|
]
|
|
},
|
|
"extra": {
|
|
"phan-taint-check-plugin": "1.1.0"
|
|
}
|
|
}
|