Manual:RevisiondeleteAction.php

From mediawiki.org

Details[edit]

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