Merge "User#getOption: Check ignoreHidden before $wgHiddenPrefs"