Manual:DeleteAction.php/de-formal

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