mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/PdfHandler
synced 2024-09-23 18:30:34 +00:00
5a3d0d3334
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: I7ad55011eadbcd8c79025de3ebec863ef46cab16
23 lines
437 B
JSON
23 lines
437 B
JSON
{
|
|
"require-dev": {
|
|
"jakub-onderka/php-parallel-lint": "0.9.2",
|
|
"jakub-onderka/php-console-highlighter": "0.3.2",
|
|
"mediawiki/mediawiki-codesniffer": "16.0.0",
|
|
"mediawiki/minus-x": "0.2.1"
|
|
},
|
|
"scripts": {
|
|
"fix": [
|
|
"phpcbf",
|
|
"minus-x fix ."
|
|
],
|
|
"test": [
|
|
"parallel-lint . --exclude node_modules --exclude vendor",
|
|
"phpcs -p -s",
|
|
"minus-x check ."
|
|
]
|
|
},
|
|
"extra": {
|
|
"phan-taint-check-plugin": "1.1.0"
|
|
}
|
|
}
|