Roll DevTools Frontend from 0afca615a816 to 256b2c258767 (4 revisions)

https://chromium.googlesource.com/devtools/devtools-frontend.git/+log/0afca615a816..256b2c258767

2020-10-05 sigurds@chromium.org [ts] Type-check front_end/coverage/CoverageDecorationManager.js with TypeScript
2020-10-05 bmeurer@chromium.org [ts] Type-check wasmparser_worker/WasmParserWorker.js with TypeScript
2020-10-05 sigurds@chromium.org [ts] Type-check front_end/coverage/CoverageListView.js with TypeScript
2020-10-05 sigurds@chromium.org [ts] Type-check front_end/coverage/CoverageView.js with TypeScript

If this roll has caused a breakage, revert this CL and stop the roller
using the controls here:
https://autoroll.skia.org/r/devtools-frontend-chromium
Please CC devtools-waterfall-sheriff-onduty@grotations.appspotmail.com on the revert to ensure that a human
is aware of the problem.

To report a problem with the AutoRoller itself, please file a bug:
https://bugs.chromium.org/p/skia/issues/entry?template=Autoroller+Bug

Documentation for the AutoRoller is here:
https://skia.googlesource.com/buildbot/+doc/master/autoroll/README.md

Bug: chromium:1011811
Tbr: devtools-waterfall-sheriff-onduty@grotations.appspotmail.com
Change-Id: Idd03c1c0b2612666fca703754724dd9426064eda
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/2450118Reviewed-by: chromium-autoroll <chromium-autoroll@skia-public.iam.gserviceaccount.com>
Commit-Queue: chromium-autoroll <chromium-autoroll@skia-public.iam.gserviceaccount.com>
Cr-Commit-Position: refs/heads/master@{#813786}

DEPS

@@ -266,7 +266,7 @@ vars = {
   # Three lines of non-changing comments so that
   # the commit queue can handle CLs rolling devtools-frontend
   # and whatever else without interference from each other.
-  'devtools_frontend_revision': '0afca615a816673ed828161238d98c5d8483b635',
+  'devtools_frontend_revision': '256b2c2587679c74a8fbdaeb9d0b1601c22e889f',
   # Three lines of non-changing comments so that
   # the commit queue can handle CLs rolling libprotobuf-mutator
   # and whatever else without interference from each other.