Translations:Download from Git/13/fr

Ceci clone l'ensemble du dépôt du noyau MediaWiki, initialement pointé sur la branche de publication, dans un sous-répertoire nommé $dir.