[Bug 60557] Update docs to deprecate $wgDefaultUserOptions['highlightbroken']

2014-01-29 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=60557 Jarry1250 changed: What|Removed |Added Status|NEW |RESOLVED CC|

[Bug 60557] Update docs to deprecate $wgDefaultUserOptions['highlightbroken']

2014-01-29 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=60557 Andre Klapper changed: What|Removed |Added Priority|Unprioritized |Normal Status|UNCONFIRMED