Similar repositories to wikimedia/mediawiki-extensions-DeleteBatch: