https://bugzilla.wikimedia.org/show_bug.cgi?id=19075
Summary: List redirects option has no effect
Product: MediaWiki
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: trivial
Priority: Normal
Component: Search
AssignedTo: [email protected]
ReportedBy: [email protected]
The "List redirects" option in the advanced search settings does not seem to
have any effect. This is fine, as the new search interface lists the real page
name next to the redirect name; but then the option should be removed.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- 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
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
