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/webide.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/webide.dtd')
| -rw-r--r-- | devtools/client/locales/en-US/webide.dtd | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/devtools/client/locales/en-US/webide.dtd b/devtools/client/locales/en-US/webide.dtd index 5e1a80ccd..554488f6d 100644 --- a/devtools/client/locales/en-US/webide.dtd +++ b/devtools/client/locales/en-US/webide.dtd @@ -2,7 +2,11 @@ - 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/. --> -<!ENTITY windowTitle "Firefox WebIDE"> +<!ENTITY % brandDTD + SYSTEM "chrome://branding/locale/brand.dtd"> + %brandDTD; + +<!ENTITY windowTitle "&brandShortName; WebIDE"> <!ENTITY projectMenu_label "Project"> <!ENTITY projectMenu_accesskey "P"> @@ -59,7 +63,7 @@ <!ENTITY projectButton_label "Open App"> <!ENTITY runtimeButton_label "Select Runtime"> -<!-- We try to repicate Firefox' bindings: --> +<!-- We try to repicate browser' bindings: --> <!-- quit app --> <!ENTITY key_quit "W"> <!-- open menu --> |