Remove un-needed userHighlightPrefs() option

The options haven't existed in core in some time, and this just
repeats the same hardcoded defaults there.

Furthermore, this function doesn't even take a user object anymore.

Change-Id: I9bc70e6fc2fb684a8456274ef8c8cd6fa827648c