mediawiki/extensions/DeleteBatch: main (log #272509)

source • patches 
**purged**
Source code is licensed under the AGPL.