Last modified: 2014-01-29 14:42:49 UTC
When try to use 'highlightbroken' option described in Manual:$wgDefaultUserOptions page in 1.22.1, it does not have any effect.
After some search, I think it has been removed according to this thread.
Maybe manual need to be updated?
Thanks for taking the time to report this!
Option was removed in bug 27619.
Norm seems to be to remove no-longer-functional options from that page. Done in https://www.mediawiki.org/w/index.php?diff=894008&oldid=884916