mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-23 23:33:54 +00:00
build: Bump phan to 0.10.2, remove taint-check
Change-Id: Id5853991646a39bf2e5d1670f3b0f9c7c9ec9f7e
This commit is contained in:
parent
0df5ca2313
commit
ce79b63436
|
@ -30,15 +30,14 @@
|
|||
"branch-alias": {
|
||||
"dev-master": "1.x-dev"
|
||||
},
|
||||
"installer-name": "Vector",
|
||||
"phan-taint-check-plugin": "2.0.1"
|
||||
"installer-name": "Vector"
|
||||
},
|
||||
"require-dev": {
|
||||
"jakub-onderka/php-parallel-lint": "1.0.0",
|
||||
"mediawiki/mediawiki-codesniffer": "29.0.0",
|
||||
"jakub-onderka/php-console-highlighter": "0.4.0",
|
||||
"mediawiki/minus-x": "1.0.0",
|
||||
"mediawiki/mediawiki-phan-config": "0.9.1"
|
||||
"mediawiki/mediawiki-phan-config": "0.10.2"
|
||||
},
|
||||
"scripts": {
|
||||
"fix": [
|
||||
|
|
Loading…
Reference in a new issue