Manual:DeleteAction.php

From mediawiki.org

Details

DeleteAction.php file handles with page deletion on a wiki.