mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-27 15:40:00 +00:00
build: Updating mediawiki/phan-taint-check-plugin to 1.5.0
Change-Id: I5a0c270625959fa43841f703df10ca9a08a32a7c
This commit is contained in:
parent
10af14ec3c
commit
9cdee0421a
|
@ -17,6 +17,6 @@
|
|||
]
|
||||
},
|
||||
"extra": {
|
||||
"phan-taint-check-plugin": "1.4.0"
|
||||
"phan-taint-check-plugin": "1.5.0"
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue