Delete core/platform/ServerTimings

It was added in https://crrev.com/c/5783824 so that it could be used by
the perf panel trace engine. This introduced another layer over the
existing ServerTiming implementation in sdk/, which we no longer need
given that we no longer use it in the trace engine as of
https://crrev.com/c/6387102.

Fixed: 403223638
Change-Id: I97a1e7009984fadde9a67c6540cfa8ddd154af08
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/6387103
Reviewed-by: Alina Varkki <[email protected]>
Commit-Queue: Andres Olivares <[email protected]>

Author: and-oli

config/gni/devtools_grd_files.gni

@@ -851,7 +851,6 @@ grd_files_debug_sources = [
   "front_end/core/platform/MapUtilities.js",
   "front_end/core/platform/MimeType.js",
   "front_end/core/platform/NumberUtilities.js",
-  "front_end/core/platform/ServerTiming.js",
   "front_end/core/platform/StringUtilities.js",
   "front_end/core/platform/Timing.js",
   "front_end/core/platform/TypedArrayUtilities.js",

front_end/core/platform/BUILD.gn

@@ -20,7 +20,6 @@ devtools_module("platform") {
     "MapUtilities.ts",
     "MimeType.ts",
     "NumberUtilities.ts",
-    "ServerTiming.ts",
     "StringUtilities.ts",
     "Timing.ts",
     "TypedArrayUtilities.ts",

front_end/core/platform/ServerTiming.test.ts

@@ -38,7 +38,6 @@ import * as KeyboardUtilities from './KeyboardUtilities.js';
 import * as MapUtilities from './MapUtilities.js';
 import * as MimeType from './MimeType.js';
 import * as NumberUtilities from './NumberUtilities.js';
-import * as ServerTiming from './ServerTiming.js';
 import * as StringUtilities from './StringUtilities.js';
 import * as Timing from './Timing.js';
 import * as TypedArrayUtilities from './TypedArrayUtilities.js';
@@ -63,7 +62,6 @@ export {
   MapUtilities,
   MimeType,
   NumberUtilities,
-  ServerTiming,
   StringUtilities,
   Timing,
   TypedArrayUtilities,