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/kr/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/kr/conf.php')
| -rw-r--r-- | app/i18n/kr/conf.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/i18n/kr/conf.php b/app/i18n/kr/conf.php index 77b6ef078..1de08131f 100644 --- a/app/i18n/kr/conf.php +++ b/app/i18n/kr/conf.php @@ -188,6 +188,7 @@ return array( 'skip_next_article' => '다음 글로 커서 이동', 'skip_previous_article' => '이전 글로 커서 이동', 'title' => '단축키', + 'toggle_media' => 'Play/pause media', // TODO - Translation 'user_filter' => '사용자 필터 사용하기', 'user_filter_help' => '사용자 필터가 하나만 설정되어 있다면 해당 필터를 사용하고, 그렇지 않다면 필터를 번호로 선택할 수 있습니다.', 'views' => '표시', |