MediaWiki_logo I’ve updated DeleteHistory extension to :

  • Add Brazilian Portuguese language
  • Fix minor bug on reporting array

You can easily install the new version with Git as described in the official Mediawiki webpage.

Hope you’ll enjoy this update