https://bugzilla.wikimedia.org/show_bug.cgi?id=60557
Web browser: ---
Bug ID: 60557
Summary: No $wgDefaultUserOptions['highlightbroken'] option?
Product: MediaWiki
Version: unspecified
Hardware: All
OS: All
Status: UNCONFIRMED
Severity: normal
Priority: Unprioritized
Component: Documentation
Assignee: [email protected]
Reporter: [email protected]
Classification: Unclassified
Mobile Platform: ---
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
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
