Merge "Fix/suppress misc phan errors (#5)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 5 Apr 2019 23:44:43 +0000 (23:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 5 Apr 2019 23:44:43 +0000 (23:44 +0000)
commit8b9143e121236281b9850435131234f2d4dc3e34
tree3aaf914f539623b1a2c17a198b486fa549c5bcf9
parent91ed9a4b0e717c3a1fbc23002c38222950657e0b
parent4ef179e3359b79118285038fde2f78e425155fe1
Merge "Fix/suppress misc phan errors (#5)"
.phan/config.php
includes/libs/rdbms/loadbalancer/ILoadBalancer.php