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
    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?


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

Reply via email to