Manual:DeleteBatch.php

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

Usage
php deleteBatch.php somepages.txt (This will delete the pages contained in the text file "somepages.txt")