MediaWiki:Gadget-MarkRedirects

Das Helferlein MarkRedirects kennzeichnet Links auf Weiterleitungen auf Wikiseiten durch einen vorangestellten blauen Pfeil () und in den Dropdown-Vorschlägen der Suchleiste durch rötliches Einfärben der entsprechenden Einträge.