DeleteBatch extension with MediaWiki4Intranet patches