wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-24 07:23:30 +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: I17d29f0cd32efdd92dee56be4f7fb3ca4bc15968
This commit is contained in:
James D. Forrester 2019-07-09 14:05:59 -07:00
parent 9d73243288
commit 8f714aef48
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

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