Manual:DeleteBatch.php/de-formal

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

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

On a wiki farm with linked folders, change to folder containing and use:

Tips and Tricks
In case the page titles contain special characters (like ä, ö, ü and so on), make sure to save the file in UTF-8 encoding. Otherwise the script may not be able to find the according page names inside the database!

You can create a pagelist with SQL as follows:

This would create a list with all page titles touched between 2015-04-31 and 2015-05-19. This might be helpful if your wiki got attacked by spambots, and other edits happened during that time.

Other Namespaces
The above command only covers the Main namespace. The mysql database may not know the prefix name of other namespaces, so we have to do them one by one. For example, to delete all pages in the User namespace, with the deleteme category and no other text: