Change Details

`$user->setOption('userjs-bar', true); $user->saveSettings();` stores the string `"1"`, but `(new mw.Api()).saveOption('userjs-foo', true);` stores the string `"true"`. This appears to be because `(string)true` is `"1"` in PHP, but in JavaScript `String(true)` is `"true"`. `mw.Api` should be cleverer and stringify non-string preference values to what PHP would stringify them to, so the JS and PHP APIs are consistent in terms of what they end up storing in the DB.