Manual:SpecialRedirectToSpecial.php