MediaWiki:Gadget-HighlightRedirects

Highlight redirects: Add a dashed underline to page redirect links