Steps to reproduce
- Set some preferences in your global preferences if you don’t have any yet.
- Go to your local preferences and look at the preference you made global.
- There’s an unchecked Set a local exception for this global preference. checkbox below the globally set preference, but the local preference isn’t greyed out.
- There’s an unchecked Set a local exception for this global preference. checkbox below the globally set preference, and the local preference is greyed out.
Root cause: GlobalPreferences relied on a feature prior to https://gerrit.wikimedia.org/r/c/700722, which is preferences wouldn't be saved when lacking default value and the value is false.
A bunch of false local exceptions will be saved when users modify their local preferences, maybe we should figure out how to set default values later.
I think it was okay before MW 1.37.0-wmf.12.