diff --git a/lang/fr/resource.php b/lang/fr/resource.php index 6559dfcf6a5..9446615ae28 100644 --- a/lang/fr/resource.php +++ b/lang/fr/resource.php @@ -74,6 +74,7 @@ $string['parameter'] = 'Param $string['parameters'] = 'Paramètres'; $string['popupresource'] = 'Cette ressource apparaîtra dans une fenêtre pop-up'; $string['popupresourcelink'] = 'Dans le cas contraire, cliquez ici : $a'; +$string['redeploy'] = 'Déployer à nouveau'; $string['resourcetype'] = 'Type de ressource'; $string['resourcetypedirectory'] = 'Afficher le contenu d\'un dossier'; $string['resourcetypefile'] = 'Lien vers un fichier ou un site web';