Merge "mediawiki.api: Small code quality and documentation tweaks"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 17 Aug 2015 22:57:14 +0000 (22:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 17 Aug 2015 22:57:14 +0000 (22:57 +0000)
commitc2246e3327f7a1907a8ad53b04de2d142518dc0b
treef143d5476d416557d6823545ec784dacb1bf1669
parent8ce0461710f822ee09aa7f176ae047216e9bd59e
parent20e5346194ada7c2d2bc4c219eafac6823689e96
Merge "mediawiki.api: Small code quality and documentation tweaks"