Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(639)

Unified Diff: third_party/WebKit/Source/devtools/front_end/formatter_worker.json

Issue 2611843010: DevTools: move DOMExtension.js into ui module. (Closed)
Patch Set: Introduce progress monitor Created 3 years, 11 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: third_party/WebKit/Source/devtools/front_end/formatter_worker.json
diff --git a/third_party/WebKit/Source/devtools/front_end/formatter_worker.json b/third_party/WebKit/Source/devtools/front_end/formatter_worker.json
index a9fd16559b88f477726a9362fec7d4db647e0302..46574ed775b7904622a190f9132deeab00ffe4eb 100644
--- a/third_party/WebKit/Source/devtools/front_end/formatter_worker.json
+++ b/third_party/WebKit/Source/devtools/front_end/formatter_worker.json
@@ -1,5 +1,6 @@
{
"modules": [
+ { "name": "platform", "type": "autostart" },
{ "name": "formatter_worker", "type": "autostart" },
{ "name": "gonzales", "type": "remote" }
],

Powered by Google App Engine
This is Rietveld 408576698