Page MenuHomePhabricator

Add page ID redirection to Special:Redirect
Closed, ResolvedPublic

Description

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


Version: unspecified
Severity: enhancement
See Also:
https://bugzilla.wikimedia.org/show_bug.cgi?id=21572

Details

Reference
bz58727

Event Timeline

bzimport raised the priority of this task from to Needs Triage.Nov 22 2014, 2:38 AM
bzimport set Reference to bz58727.
bzimport added a subscriber: Unknown Object (MLST).
TTO created this task.Dec 20 2013, 4:57 AM

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

TTO added a comment.Dec 20 2013, 11:35 PM

Cool! Thanks Tyler. Possibly the swiftest +2 I've ever seen.