diff options
| author | Brian Wolff <bawolff+wn@gmail.com> | 2018-05-04 20:57:11 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2018-05-05 04:56:07 +0000 |
| commit | fe73f41ca9ec548a250b1fd41bf54363d1e1e585 (patch) | |
| tree | 7cdb559afe96dbf3dd0d247361f8ac17a64bb6ac | |
| parent | b15dfb09cac8b861010c76d0c9b4909a3fe1bfc6 (diff) | |
| download | mediawikicore-fe73f41ca9ec548a250b1fd41bf54363d1e1e585.tar.gz mediawikicore-fe73f41ca9ec548a250b1fd41bf54363d1e1e585.zip | |
Update git submodules
* Update extensions/InputBox from branch 'REL1_31'
to 0fdeec73bd212f4409bfbdfcfc1aa977694d3c43
- Fix a phan-taint-check false positive
phan-taint-check gets confused when you escape a variable and
assign the escaped version to the same name as the unescaped
version.
Change-Id: I1bf4d64e68bff516b5f8b6266d85f67020008433
(cherry picked from commit 252fed5d27cc67701c7fbf98370e4af0d50fcb38)
| m--------- | extensions/InputBox | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/extensions/InputBox b/extensions/InputBox -Subproject 549e406ddf3af0199428bc7285984c461f2b0a3 +Subproject 0fdeec73bd212f4409bfbdfcfc1aa977694d3c4 |