On Sun, 19 Oct 2014 13:21:30 +0200, Ricordisamoa ricordisamoa@openmailbox.org wrote:
Il 14/09/2014 23:28, Bartosz Dziewoński ha scritto:
(If you ever want to extend it to set multiple options, the API must be called differently – see the documentation for the 'change' parameter on https://www.mediawiki.org/wiki/API:Options#Parameters – unfortunately it's rather clunky. I've been meaning to write a helper function for this for some time now.)
Oh huh, I actually have my own pending change for this at https://gerrit.wikimedia.org/r/#/c/160308/ .