wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Localisation updates from https://translatewiki.net.

Browse source 
Change-Id: Ib22b1736cd053a5b004abc72c1958e341909fec3
This commit is contained in:
Translation updater bot 2020-05-27 08:48:34 +02:00
parent fb34dd6b31
commit 31b4c9bdfa
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
i18n/fr.json
View file

@ -51,7 +51,7 @@
"prefs-echosubscriptions": "Me prévenir de ces événements",
"prefs-echocrosswiki": "Notifications inter-wikis",
"prefs-blocknotificationslist": "Utilisateurs que vous avez bloqués",
"prefs-mutedpageslist": "Pages muettes",
"prefs-mutedpageslist": "Pages muettes pour les notifications de lien de page",
"prefs-echopollupdates": "Notifications en direct",
"echo-mobile-notifications-filter-title": "Filtrer les notifications",
"echo-pref-show-poll-updates": "Afficher les nouvelles notifications quand elles arrivent",