diff options
| author | Moonchild <mcwerewolf@gmail.com> | 2018-06-19 02:48:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-19 02:48:56 +0200 |
| commit | e7b69b29df1593be14ce7c6efdad2f2c973a1c01 (patch) | |
| tree | 02acf498588790ca037cdf5db53c01b5c328c7fc /devtools/client/locales/en-US/toolbox.dtd | |
| parent | 34302180b38e903c7c071b501cbc8be89efd56ec (diff) | |
| parent | 9a19018b3703f7a3aab88d167680b114fa1c4e6a (diff) | |
| download | UXP-e7b69b29df1593be14ce7c6efdad2f2c973a1c01.tar UXP-e7b69b29df1593be14ce7c6efdad2f2c973a1c01.tar.gz UXP-e7b69b29df1593be14ce7c6efdad2f2c973a1c01.tar.lz UXP-e7b69b29df1593be14ce7c6efdad2f2c973a1c01.tar.xz UXP-e7b69b29df1593be14ce7c6efdad2f2c973a1c01.zip | |
Merge pull request #515 from JustOff/PR_devtools_strings
Correct the browser and platform names in DevTools
Diffstat (limited to 'devtools/client/locales/en-US/toolbox.dtd')
| -rw-r--r-- | devtools/client/locales/en-US/toolbox.dtd | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools/client/locales/en-US/toolbox.dtd b/devtools/client/locales/en-US/toolbox.dtd index 6097fa82a..73c74567c 100644 --- a/devtools/client/locales/en-US/toolbox.dtd +++ b/devtools/client/locales/en-US/toolbox.dtd @@ -199,9 +199,9 @@ - label for the checkbox that toggles the display of the platform data in the, - Profiler i.e. devtools.profiler.ui.show-platform-data a boolean preference - in about:config, in the options panel. --> -<!ENTITY options.showPlatformData.label "Show Gecko platform data"> +<!ENTITY options.showPlatformData.label "Show Goanna platform data"> <!ENTITY options.showPlatformData.tooltip "If you enable this option the JavaScript Profiler reports will include -Gecko platform symbols"> +Goanna platform symbols"> <!-- LOCALIZATION NOTE (options.sourceeditor.*): Options under the editor - section. --> |