Update DevTools DEPS (trusted)
Rolling build: https://chromium.googlesource.com/chromium/src/build/+log/88913de..9c7229e
Rolling buildtools: https://chromium.googlesource.com/chromium/src/buildtools/+log/3c8fef0..9ca2fd2
Rolling third_party/depot_tools: https://chromium.googlesource.com/chromium/tools/depot_tools/+log/6fde0fb..73a2624
Bug: none
Change-Id: I5db4846dc2a3c545fdef2496deac739031a522ff
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/4055080
Commit-Queue: Devtools Autoroller <devtools-ci-autoroll-builder@chops-service-accounts.iam.gserviceaccount.com>
Bot-Commit: Devtools Autoroller <devtools-ci-autoroll-builder@chops-service-accounts.iam.gserviceaccount.com>
diff --git a/DEPS b/DEPS
index 06c11751e29f2b23f434282da99b37118999f8ca..3461c58083699a2f1b08b50c0b4fd25ebdbb11bb 100644
--- a/DEPS
+++ b/DEPS
@@ -12,14 +12,15 @@ 'build_with_chromium': False,
'build_url': 'https://chromium.googlesource.com/chromium/src/build.git', # Copyright 2019 The Chromium Authors. All rights reserved.-# Use of this source code is governed by a BSD-style license that can be+deps = { 'buildtools_url': 'https://chromium.googlesource.com/chromium/src/buildtools.git', 'buildtools_revision': '3c8fef071edb88facb7508060e978c5fb8608dd5',+# Copyright 2019 The Chromium Authors. All rights reserved. 'depot_tools_url': 'https://chromium.googlesource.com/chromium/tools/depot_tools.git', # Copyright 2019 The Chromium Authors. All rights reserved.-gclient_gn_args_file = 'build/config/gclient_args.gni'+ 'url': Var('clang_format_url') + '@' + Var('clang_format_revision'), 'inspector_protocol_url': 'https://chromium.googlesource.com/deps/inspector_protocol', 'inspector_protocol_revision': 'dec7ec1932f5277b933ed8a675cc6eb7cfc36f88',
