Merge "Improve some parameter docs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 7 Jan 2018 19:35:32 +0000 (19:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 7 Jan 2018 19:35:32 +0000 (19:35 +0000)
commitc40a7690f6c840d3dfc31d6db937e89654b3816e
treeee0703203ebf4f570ba8bc20a04ea54727136472
parente5a20df6600a1ffa8e83eb6ebac1f5e245aab8f7
parent23ef520a1c131bd802454faa33e3c6ae6c071183
Merge "Improve some parameter docs"