Merge "Various fixes to make phan-taint-check happier"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 4 Mar 2019 03:36:32 +0000 (03:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 4 Mar 2019 03:36:32 +0000 (03:36 +0000)
commit3805fc2a232855fe13c3b4f037d0051c4931df93
tree68ecd857db85513e8b88b0af9f8746326d4767bd
parentf9f8521acfbfed0ad2fa99996aa253a86dccaf6c
parent0364f852a32bad44b47465fb3750e42e9d005f9f
Merge "Various fixes to make phan-taint-check happier"