Category:Extensions in Wikimedia version control/fr

Ces extensions sont rangées dans le dépôt Git officiel de MediaWiki, Gerrit.