Category:Extensions in Wikimedia version control/pt-br

These extensions are checked in to MediaWiki's official Git repository, Gerrit.