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: wikibugs-l@lists.wikimedia.org
          Reporter: dram.w...@gmail.com
    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
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to