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/aboutdebugging.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/aboutdebugging.dtd')
| -rw-r--r-- | devtools/client/locales/en-US/aboutdebugging.dtd | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/devtools/client/locales/en-US/aboutdebugging.dtd b/devtools/client/locales/en-US/aboutdebugging.dtd index 1f38a9443..2b2615c10 100644 --- a/devtools/client/locales/en-US/aboutdebugging.dtd +++ b/devtools/client/locales/en-US/aboutdebugging.dtd @@ -2,4 +2,8 @@ - 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 aboutDebugging.fullTitle "Debugging with Firefox Developer Tools"> +<!ENTITY % brandDTD + SYSTEM "chrome://branding/locale/brand.dtd"> + %brandDTD; + +<!ENTITY aboutDebugging.fullTitle "Debugging with &brandShortName; Developer Tools"> |