Category:Extensions in Wikimedia version control/fr

Ces extensions sont rangées dans les dépôts officiels Subversion ou Git de MediaWiki, Gerrit.