If category:A is redirected to category:B
when user adds category:A it should switch it automatically to category:B like mediawiki:gadget-Hotcat.js
Version: unspecified
Severity: enhancement
If category:A is redirected to category:B
when user adds category:A it should switch it automatically to category:B like mediawiki:gadget-Hotcat.js
Version: unspecified
Severity: enhancement
So the redirect comes up as a suggestion, but when we add it, the redirect is resolved and the target added?
Change 118218 had a related patch set uploaded by Alex Monk:
Follow redirects in the category widgets