Communities have requested DeleteBatch, which does something similar, in the very old T108501 and T61793

It seems to me that the underlying feature (provide a list of pages and delete them) would be easier to implement in MediaWiki-extensions-Nuke rather than going through the baroque process of deploying a new extension. Which is a shame, but so it is.