Merge "Remove unused Phan exception"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 19 Dec 2016 21:31:03 +0000 (21:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 19 Dec 2016 21:31:03 +0000 (21:31 +0000)
commitc496cb3ff9ac2bbf73e5d018ef6e4be5942bea7a
treeabe4964e2d7c231ca66770e196b05dfaa646bb20
parentebf0725497a4bc9372fec791e803ff84e4e6ebef
parent0b2e6272b817b4eb765ccb54d0a6031368e40bbf
Merge "Remove unused Phan exception"
tests/phan/config.php