Rename mimeType to mediaType in Extensions API

MIME is an outdated name. See https://www.iana.org/assignments/media-types/media-types.xhtml.

Bug: 1325751
Change-Id: Ic296c787596cc2f11cf56abb5e72c00c668c58e3
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/3687329
Reviewed-by: Philip Pfaffe <pfaffe@chromium.org>
Commit-Queue: Alex Rudenko <alexrudenko@chromium.org>
diff --git a/extension-api/ExtensionAPI.d.ts b/extension-api/ExtensionAPI.d.ts
index 09a435a..1e789b3 100644
--- a/extension-api/ExtensionAPI.d.ts
+++ b/extension-api/ExtensionAPI.d.ts
@@ -279,7 +279,7 @@
     }
 
     export interface RecorderExtensions {
-      registerRecorderExtensionPlugin(plugin: RecorderExtensionPlugin, pluginName: string, mimeType: string):
+      registerRecorderExtensionPlugin(plugin: RecorderExtensionPlugin, pluginName: string, mediaType: string):
           Promise<void>;
       unregisterRecorderExtensionPlugin(plugin: RecorderExtensionPlugin): Promise<void>;
     }