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