Bug 1469054 - edit type in devtools/client/webide/content/runtimedetails.js on a CLOSED TREE

--HG--
extra : amend_source : 318cba8ea3eebd812f9414a54db1af54fb8668b8
This commit is contained in:
Andreea Pavel 2018-08-09 13:38:07 +03:00
Родитель 4199099335
Коммит fabfc9e604
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

@ -6,7 +6,7 @@ const {require} = ChromeUtils.import("resource://devtools/shared/Loader.jsm", {}
const Services = require("Services");
const {AppManager} = require("devtools/client/webide/modules/app-manager");
const {Connection} = require("devtools/shared/client/connection-manager");
const {RuntimeTypes} = require("devtools/client/webide/modules/runtimes-types");
const {RuntimeTypes} = require("devtools/client/webide/modules/runtime-types");
const Strings = Services.strings.createBundle("chrome://devtools/locale/webide.properties");
const UNRESTRICTED_HELP_URL = "https://developer.mozilla.org/docs/Tools/WebIDE/Running_and_debugging_apps#Unrestricted_app_debugging_%28including_certified_apps_main_process_etc.%29";