The option to use the Batch Delete script will appear under your "My Tools" list.
In order to delete a batch of pages, just add the page names (not page URLs) in the form, each on a new line, and proceed to delete them with a set reason. The script will stop when it reaches an empty line, and it can be terminated early by blanking the list of pages remaining to be deleted.
It also features the ability to protect the pages after deletion (this is optional), as well as loading from a modal on any page with the option to modify the rate at which it deletes/protects. If you'd like to modify the default rate of one delete every 1000 milliseconds (1 second), add the config window.batchDeleteDelay before importing the script with your own number (in milliseconds) instead. For example, using:
will lower the delete rate to 0.1 second.
It also enables the user to grab a whole category's contents and puts them into the text area ready for deletion. Note that the script will only load if the user has access to the delete right (content moderator, administrator, SOAP, staff, helper, wiki-specialist, or wiki-representative).