Last modified: 2014-04-17 02:44:43 UTC
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
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 https://gerrit.wikimedia.org/r/118218
Change 118218 merged by jenkins-bot: Follow redirects in the category widgets https://gerrit.wikimedia.org/r/118218