Hashar has uploaded a new change for review.
https://gerrit.wikimedia.org/r/110516
Change subject: User::saveOptions() optimization
..
User::saveOptions() optimization
Since we only want to save non default user options, we
jenkins-bot has submitted this change and it was merged.
Change subject: User::saveOptions() optimization
..
User::saveOptions() optimization
Since we only want to save non default user options, we have to strip
out any user
Hashar has uploaded a new change for review.
https://gerrit.wikimedia.org/r/64941
Change subject: User::saveOptions() optimization
..
User::saveOptions() optimization
Since we only want to save non default user options, we