To install the Pure Wiki Deletion extension, put the following line in LocalSettings.php:
require_once( "$IP/extensions/PureWikiDeletion/PureWikiDeletion.php" );