Merge "mediawiki.api: Prevent misusing #saveOptions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 18 Feb 2019 19:53:40 +0000 (19:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 18 Feb 2019 19:53:40 +0000 (19:53 +0000)
commit845d207d813a106afbb14b2c218b986b0f32fced
treeee8defea3f27d75708e0d3a5dcdd33ed5aaf33ca
parent92d6be8a38ff78ea06b06d9ba5a39d00de4c9f38
parent1fd2d0716e12b0dcd4e7403c54d0534a1a679f56
Merge "mediawiki.api: Prevent misusing #saveOptions"