Topic on Extension talk:DeleteBatch

I've done a patch if you need to use this amazing extension for MediaWiki 1.26 and maybe below.

https://github.com/valerio-bozzolan/mediawiki-extensions-DeleteBatch/commit/8abecc58ef3402e85d95f6a5596f3fd6b2658dda

If this could be useful, ping me that I will try to find time to send a request on Gerrit.