Manual:DeleteAction.php

From mediawiki.org

Details[edit]

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