| commit | 21979dc0faf6f09fbaaf707b7fd38c26b91cd013 | |
| author | Gabriel Luong <gabriel.luong@gmail.com> | |
| Tue, 16 Feb 2021 22:37:23 +0000 (16 22:37 +0000) | ||
| committer | Gabriel Luong <gabriel.luong@gmail.com> | |
| Tue, 16 Feb 2021 22:37:23 +0000 (16 22:37 +0000) | ||
| tree | 37210c8f9cc675e2d24b071b8e5fe964acbb49d9 | treesnapshot (tar.gz zip) |
| parent | 1c278ebe57eb25424732d2c5db2b186c48dde42d | commitdiff |
Bug 1690340 - Part 2: Use the new naming for the developer tools menu items. r=jdescottes
- Renames "Toggle Tools" to "Web Developer Tools"
- Renames "Get More Tools" to "Extensions for Developers"
Differential Revision: https://phabricator.services.mozilla.com/D104869
- Renames "Toggle Tools" to "Web Developer Tools"
- Renames "Get More Tools" to "Extensions for Developers"
Differential Revision: https://phabricator.services.mozilla.com/D104869
| devtools/client/locales/en-US/menus.properties | diffblobblamehistory | |
| devtools/client/menus.js | diffblobblamehistory |