Manual:RevisionDeleteUser.php