Author: dram.wang
Description:
When try to use 'highlightbroken' option described in Manual:$wgDefaultUserOptions[1] page in 1.22.1, it does not have any effect.
After some search, I think it has been removed according to this thread[2].
Maybe manual need to be updated?
[1] http://www.mediawiki.org/wiki/Manual:$wgDefaultUserOptions
[2] http://lists.wikimedia.org/pipermail/mediawiki-l/2013-April/041035.html
Version: 1.23.0
Severity: normal