Merge "Fix some warnings from phan-taint-check"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 30 Aug 2018 02:54:03 +0000 (02:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 30 Aug 2018 02:54:03 +0000 (02:54 +0000)
commitfede766fe9950e3a036c263bf17d19d31278221c
tree03ef82d0ec471a8827e29ba5278600c2f790e36d
parentf7b7d9400d993abb545db503d30e20206689a1e1
parentf631c16e849840e6aa01394c9e0c9bc0b37bbe44
Merge "Fix some warnings from phan-taint-check"
includes/EditPage.php
includes/htmlform/HTMLFormField.php