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

Wikimedia Bugzilla is closed!

Wikimedia has migrated from Bugzilla to Phabricator. Bug reports should be created and updated in Wikimedia Phabricator instead. Please create an account in Phabricator and add your Bugzilla email address to it.
Wikimedia Bugzilla is read-only. If you try to edit or create any bug report in Bugzilla you will be shown an intentional error message.
In order to access the Phabricator task corresponding to a Bugzilla report, just remove "static-" from its URL.
You could still run searches in Bugzilla or access your list of votes but bug reports will obviously not be up-to-date in Bugzilla.
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.