This version of the DeleteBatch extension requires MediaWiki 1.25+