wikimedia/mediawiki-extensions-TitleBlacklist
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TitleBlacklist synced 2024-11-24 06:04:05 +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: Ie186175e78f167e0217c6a76559725b9041cb2a8
This commit is contained in:
James D. Forrester 2019-07-09 14:19:11 -07:00
parent 41e6b19e57
commit 9490d3df57
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"
} }
} }