Manual:SpecialRedirectWithAction.php