diff options
| author |  Alexis Degrugillier <aledeg@users.noreply.github.com>
| 2020-06-05 23:37:05 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2020-06-05 23:37:05 +0200 |
| commit | dc68783fc844323682ad19c8156417a1ec7ac998 (patch) | |
| tree | 58d6daeb288ad0616734297b2c6695a4d2b59930 /app/i18n/fr/conf.php | |
| parent | 8c4d71da2ef1366c8fcd3e7dfb7f4566d2f905f4 (diff) | |
Add controls on media (#3036)
Now, there is a shortcut to play or pause media available from an
entry. If there is more than one media available, only the first
one will be targeted.
See #1952
Diffstat (limited to 'app/i18n/fr/conf.php')
| -rw-r--r-- | app/i18n/fr/conf.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/i18n/fr/conf.php b/app/i18n/fr/conf.php index b19fad340..9f1d68fb1 100644 --- a/app/i18n/fr/conf.php +++ b/app/i18n/fr/conf.php @@ -188,6 +188,7 @@ return array( 'skip_next_article' => 'Passer au suivant sans ouvrir', 'skip_previous_article' => 'Passer au précédent sans ouvrir', 'title' => 'Raccourcis', + 'toggle_media' => 'Lire/arrêter le média', 'user_filter' => 'Accéder aux filtres utilisateur', 'user_filter_help' => 'S’il n’y a qu’un filtre utilisateur, celui-ci est utilisé automatiquement. Sinon ils sont accessibles par leur numéro.', 'views' => 'Vues', |