MediaWiki extension that undeletes a batch of pages