Manual:DeleteBatch.php

deleteBatch.php is a maintenance script located in the maintenance directory that can be used to delete a batch of pages.