Manual:RevisiondeleteAction.php/de-formal

Details
RevisiondeleteAction.php file handles the revision delete action by just passing the request to Special:RevisionDelete.