Do a redirect when accessing a renamed wiki page.
Authored by: jplang 2011-04-11
Parent: [r5422]
Child: [r5424]