https://sangkrit.net/how-to-bulk-delete-pages-in-mediawiki/