Last modified: 2014-01-29 14:42:49 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T62557, the corresponding Phabricator task for complete and up-to-date bug report information.
Bug 60557 - Update docs to deprecate $wgDefaultUserOptions['highlightbroken']
Update docs to deprecate $wgDefaultUserOptions['highlightbroken']
Product: MediaWiki
Classification: Unclassified
Documentation (Other open bugs)
All All
: Normal normal (vote)
: ---
Assigned To: Nobody - You can work on this!
: easy
Depends on: 27619
Blocks: documentation
  Show dependency treegraph
Reported: 2014-01-29 01:53 UTC by Xin Wang
Modified: 2014-01-29 14:42 UTC (History)
2 users (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---


Description Xin Wang 2014-01-29 01:53:09 UTC
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?

Comment 1 Andre Klapper 2014-01-29 12:20:40 UTC
Thanks for taking the time to report this!
Option was removed in bug 27619.
Comment 2 Jarry1250 2014-01-29 14:42:49 UTC
Norm seems to be to remove no-longer-functional options from that page. Done in

Note You need to log in before you can comment on or make changes to this bug.