Manual:SpecialRemoveCredentials.php