User#getOption: Check ignoreHidden before $wgHiddenPrefs

Change-Id: Icb1aab8cd8dc15387d199bb51ca2cd72de6dba88
Merge "User#getOption: Check ignoreHidden before $wgHiddenPrefs"