Author: Winbots
Description:
Fixes this bug report.
Redirect wikilinks should have a redirect class to allow for customization/highlighting of redirects in user/site CSS.
Obsoletes the highly resource-intensive javascript that does the same thing: http://en.wikipedia.org/wiki/User:Dschwen/highlightredirects.js
Version: 1.12.x
Severity: enhancement
attachment redirect.links.diff ignored as obsolete