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


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)

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

Wikimedia Bugzilla is closed!

Search

Personal tools

Navigation

Links