Merge "PHAN: conditionally load stubs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 23 Jan 2017 18:11:43 +0000 (18:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 23 Jan 2017 18:11:43 +0000 (18:11 +0000)
commit96491f80d3481190605006c71a8421857adda58e
tree108ba763f508b09e70786cd3cd1c50672f61cd54
parentbb90278a2c8bafc603f31a545d383bac3b9b6bc9
parentd9c717c0893b2b2cf52bddc14de1f08d0b0263f2
Merge "PHAN: conditionally load stubs"
tests/phan/config.php