Page MenuHomePhabricator

Update docs to deprecate $wgDefaultUserOptions['highlightbroken']
Closed, ResolvedPublic

Description

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

Details

Reference
bz60557

Related Objects