To install my extension, put the following line in LocalSettings.php:
require_once( "extensions/DeleteHistory/DeleteHistory.php" );