Rename media browser to media (#11412)

This commit is contained in:
Paulus Schoutsen 2022-01-23 17:13:47 -08:00 committed by GitHub
parent 87c22229e0
commit 22b4550fdf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,7 +10,7 @@
"mailbox": "Mailbox", "mailbox": "Mailbox",
"shopping_list": "Shopping List", "shopping_list": "Shopping List",
"developer_tools": "Developer Tools", "developer_tools": "Developer Tools",
"media_browser": "Media Browser", "media_browser": "Media",
"profile": "Profile" "profile": "Profile"
}, },
"state": { "state": {
@ -506,7 +506,7 @@
"pick-media": "Pick Media", "pick-media": "Pick Media",
"no_items": "No items", "no_items": "No items",
"choose_player": "Choose Player", "choose_player": "Choose Player",
"media-player-browser": "Media Player Browser", "media-player-browser": "Media",
"web-browser": "Web Browser", "web-browser": "Web Browser",
"media_player": "Media Player", "media_player": "Media Player",
"audio_not_supported": "Your browser does not support the audio element.", "audio_not_supported": "Your browser does not support the audio element.",