https://sangkrit.net/how-to-undelete-batch-of-users-in-mediawiki/
How To Undelete Batch Of Users In MediaWiki?