wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-09-23 10:21:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse source 
Change-Id: Ia78289a4095d0b8ff1272eec7692cad39d3f72b3
This commit is contained in:
libraryupgrader 2018-09-01 05:15:27 +00:00 committed by Legoktm
parent ade20ccd07
commit a80876f4c0
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

@ -17,6 +17,6 @@
] ]
}, },
"extra": { "extra": {
"phan-taint-check-plugin": "1.3.0" "phan-taint-check-plugin": "1.4.0"
} }
} }