[tor-bugs] #13474 [Service - trac]: Can we have TracRedirect plugin installed?

[Tor Bug Tracker & Wiki]

#13474: Can we have TracRedirect plugin installed?
----------------------------+---------------------
 Reporter:  mrphs           |          Owner:
     Type:  enhancement     |         Status:  new
 Priority:  normal          |      Milestone:
Component:  Service - trac  |        Version:
 Keywords:                  |  Actual Points:
Parent ID:                  |         Points:
----------------------------+---------------------
 There are times we find ourselves in need of changing a wiki page URL; if
 not redirected properly, those who have the old URL wont easily find the
 page or might think the page has been deleted.

 [https://trac-hacks.org/wiki/TracRedirect TracRedirect plugin], supposedly
 brings `[[redirect(type:id)]]` option to trac wiki pages.

 It'd be great if someone with trac knowledge and superpowers look into
 this and possibly add the plugin.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/13474>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online