On Sun, 19 Oct 2014 13:21:30 +0200, Ricordisamoa
<[email protected]> 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.)
https://gerrit.wikimedia.org/r/131326/?
Oh huh, I actually have my own pending change for this at
https://gerrit.wikimedia.org/r/#/c/160308/ .
--
Bartosz Dziewoński
_______________________________________________
Wikitech-ambassadors mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikitech-ambassadors
