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.)