wikimedia/mediawiki-extensions-SpamBlacklist
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SpamBlacklist synced 2024-11-24 07:04:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

Set phan-taint-check-plugin version in composer.json

Browse source 
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: Iaf8ac7bfde148db48bb0cc83edd2f5e506a9ef06
This commit is contained in:
Kunal Mehta 2018-02-16 13:44:24 -08:00
parent 4b42238690
commit 7e4979ec09
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
composer.json
View file

@ -15,5 +15,8 @@
"phpcs -p -s", "phpcs -p -s",
"minus-x check ." "minus-x check ."
] ]
},
"extra": {
"phan-taint-check-plugin": "1.1.0"
} }
} }