Merge "mediawiki.api.options: Use sequential API requests in the remaining edge cases"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 24 Jan 2017 00:02:40 +0000 (00:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 24 Jan 2017 00:02:40 +0000 (00:02 +0000)
commit5bd2a84e6646a1182efa35f36b03990da0b635cf
tree18eb5196666f2c443edb5c048062fa5fff84394c
parentc06e055f4f3f4b5b5cfc50dc98b32ecce7046a07
parent7db2904cd6a55c605d2ba25d40613c4faf6d77ac
Merge "mediawiki.api.options: Use sequential API requests in the remaining edge cases"