wikimedia/mediawiki-extensions-TitleBlacklist
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TitleBlacklist synced 2024-11-24 14:14:02 +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: Ic778de70060fac21dce9f32eb5002afad82b9f44
This commit is contained in:
Kunal Mehta 2018-02-16 13:44:37 -08:00
parent 1bd1b64298
commit ffe8abcdd0
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

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