Translations:Download from Git/13/fr

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