Extension talk:DeleteHistory

Where do we find the DeleteHistory.php file?