Category:Extensions in Wikimedia version control/es

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

Esta categoría se añade por el uso de la plantilla WikimediaDownload.