wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-12-18 01:30:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Updating mediawiki/phan-taint-check-plugin to 1.5.0

Browse source 
Change-Id: I823e2d2782252f94806013044f2bf66881580038
This commit is contained in:
libraryupgrader 2018-09-08 02:19:39 +00:00
parent bcddd39713
commit 1224167bd4
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.4.0" "phan-taint-check-plugin": "1.5.0"
} }
} }