Merge "Fix phpdoc since $proto can be int"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 18 Jan 2018 21:30:29 +0000 (21:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 18 Jan 2018 21:30:29 +0000 (21:30 +0000)
commitf0736cacdd846e31a7a95616949c298376e84c9b
tree792ef44b40b9205fb46e458d6254fa926fa28267
parent1bfcb38234634772d5a454ebd13fa69401a7c01f
parent7efe60da0966c3a5a59b44f01be44aa342240d1d
Merge "Fix phpdoc since $proto can be int"