diff options
Diffstat (limited to 'devtools/client/locales/en-US/dom.properties')
| -rw-r--r-- | devtools/client/locales/en-US/dom.properties | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/devtools/client/locales/en-US/dom.properties b/devtools/client/locales/en-US/dom.properties new file mode 100644 index 000000000..3c09d4e41 --- /dev/null +++ b/devtools/client/locales/en-US/dom.properties @@ -0,0 +1,19 @@ +# This Source Code Form is subject to the terms of the Mozilla Public +# License, v. 2.0. If a copy of the MPL was not distributed with this +# file, You can obtain one at http://mozilla.org/MPL/2.0/. + +# LOCALIZATION NOTE These strings are used inside the DOM panel +# which is available from the Web Developer sub-menu -> 'DOM'. +# The correct localization of this file might be to keep it in +# English, or another language commonly spoken among web developers. +# You want to make that choice consistent across the developer tools. +# A good criteria is the language in which you'd find the best +# documentation on web development on the web. + +# LOCALIZATION NOTE (dom.filterDOMPanel): A placeholder text used for +# DOM panel search box. +dom.filterDOMPanel=Filter DOM Panel + +# LOCALIZATION NOTE (dom.refresh): A label for Refresh button in +# DOM panel toolbar +dom.refresh=Refresh
\ No newline at end of file |