Last modified: 2013-12-20 23:35:06 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T60727, the corresponding Phabricator task for complete and up-to-date bug report information.
Bug 58727 - Add page ID redirection to Special:Redirect
Add page ID redirection to Special:Redirect
Status: RESOLVED FIXED
Product: MediaWiki
Classification: Unclassified
Special pages (Other open bugs)
unspecified
All All
: Unprioritized enhancement (vote)
: ---
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2013-12-20 04:57 UTC by This, that and the other (TTO)
Modified: 2013-12-20 23:35 UTC (History)
1 user (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---


Attachments

Description This, that and the other (TTO) 2013-12-20 04:57:56 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
Comment 1 Gerrit Notification Bot 2013-12-20 05:48:49 UTC
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
Comment 2 Gerrit Notification Bot 2013-12-20 15:38:23 UTC
Change 102879 merged by jenkins-bot:
Make Special:Redirect able to redirect by page ID

https://gerrit.wikimedia.org/r/102879
Comment 3 This, that and the other (TTO) 2013-12-20 23:35:06 UTC
Cool! Thanks Tyler. Possibly the swiftest +2 I've ever seen.

Note You need to log in before you can comment on or make changes to this bug.


Navigation
Links