Merge "Fix minor issues found with phan"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 Aug 2017 21:06:57 +0000 (21:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 Aug 2017 21:06:57 +0000 (21:06 +0000)
commitc61c1ac00079c654a0e1a68bf5c25c1f5bef031a
treeb679ae002bf8fe0b0539ae43c5c095f533d3eca3
parent1e8f417f3d6d648e19c03465890b58a331514362
parent21aae8b8f3145ccb3639ea4e46adfa981295831b
Merge "Fix minor issues found with phan"