Merge "Suppress PhanUndeclaredProperty for custom properties and phan bugs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 14 Sep 2019 15:53:31 +0000 (15:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 14 Sep 2019 15:53:31 +0000 (15:53 +0000)
commit7a71d0171ccba96e0d313b4c1cdc7c057658389e
tree11fc10fbaf7540c0aa90b628c72aaabd054469f7
parentfbba262dc3b0627fb10b08d1c46f31d1599dfc91
parent3439c0007376adfddea2de9be105a37938aead56
Merge "Suppress PhanUndeclaredProperty for custom properties and phan bugs"