wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-18 02:50:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Upgrade phan-taint-check-plugin from 1.5.x to 2.0.1

Browse source 
Change-Id: I51e3b37fb1fb858262a89a9a7754d30e51231517
This commit is contained in:
James D. Forrester 2019-07-09 14:21:07 -07:00
parent 355eae3909
commit bc3c7cb634
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
composer.json
View file

@ -19,6 +19,6 @@
] ]
}, },
"extra": { "extra": {
"phan-taint-check-plugin": "1.5.0" "phan-taint-check-plugin": "2.0.1"
} }
} }