Merge "Unsuppress another phan issue (part 7)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Sep 2019 17:45:53 +0000 (17:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Sep 2019 17:45:53 +0000 (17:45 +0000)
commit8a4917968baece3fccf9428ea7fe7e71be5b3858
tree31e065fd6de5575fabfed7ee86b9311818c3bd6e
parent925a865a01213b746d0da1d3ba30a6bc096c3036
parentc659bc63087b10d8765056500a8ed4bce6cfdbf4
Merge "Unsuppress another phan issue (part 7)"
includes/installer/Installer.php