Last modified: 2013-12-20 23:35:06 UTC
Special:Redirect should be able to redirect by page ID, as well as revision ID and user ID. Granted, this can be done with the URL parameter curid; but that is not discoverable. This could help for bug 21572 as well - you could set up a rewrite, say from //mywiki.example.com/123456 to //mywiki.example.com/wiki/Special:Redirect/page/123456
Change 102879 had a related patch set uploaded by TTO: Make Special:Redirect able to redirect by page ID https://gerrit.wikimedia.org/r/102879
Change 102879 merged by jenkins-bot: Make Special:Redirect able to redirect by page ID https://gerrit.wikimedia.org/r/102879
Cool! Thanks Tyler. Possibly the swiftest +2 I've ever seen.