Category:Extensions in Wikimedia version control/pt

These extensions are checked in to MediaWiki's official Subversion or Git repositories, Diffusion.