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']

Summary:	Update docs to deprecate $wgDefaultUserOptions['highlightbroken']

Status: RESOLVED FIXED Product: MediaWiki Classification: Unclassified Component: Documentation (Other open bugs) Version: 1.23.0 Hardware: All All Importance: Normal normal (vote) Target Milestone: --- Assigned To: Nobody - You can work on this! URL: Whiteboard: Keywords: easy Depends on: 27619 Blocks: documentation   Show dependency tree / graph		Reported: 2014-01-29 01:53 UTC by Xin Wang Modified: 2014-01-29 14:42 UTC (History) CC List: 2 users (show) aklapper jarry1250 See Also: Web browser: --- Mobile Platform: --- Assignee Huggle Beta Tester: ---

Attachments Add an attachment (proposed patch, testcase, etc.)

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? [1] http://www.mediawiki.org/wiki/Manual:$wgDefaultUserOptions [2] http://lists.wikimedia.org/pipermail/mediawiki-l/2013-April/041035.html 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 https://www.mediawiki.org/w/index.php?diff=894008&oldid=884916