Manual:RevisionDeleter.php